Attached are the diffs for the NetworkServer start and stop scripts.
The changes allow the user to specify the host/port on the command line
or via the variables DERBY_SERVER_HOST and DERBY_SERVER_PORT.
Looks good! Committed, revision 161070. Thank you for taking the time
to improve the scripts.