* Added a command prompt argument for choosing the

 server name.