this prevents servers that use arguments specified in named.args from appearing different in 'ps' output from servers run with arguments from start.pl
this prevents servers that use arguments specified in named.args from appearing different in 'ps' output from servers run with arguments from start.pl