-
Evan Hunt authored
this prevents servers that use arguments specified in named.args from appearing different in 'ps' output from servers run with arguments from start.pl
175d6e9b
this prevents servers that use arguments specified in named.args from appearing different in 'ps' output from servers run with arguments from start.pl