To kill off your server, you will need to log onto kilpinen (using
ssh).  Once on kilpinen, you can use the ps command to find the
process ID number of your server process.  For example, you could give
the command

  ps xwww

This gets a listing of all the processes I am running:

  PID TTY STAT TIME COMMAND
 1067  ?  S    0:00 csh -fb .onboot/chain 
 1068  ?  S    9:59 /usr/local/lib/java/bin/../bin/i586/green_threads/java -Djava.rmi.server.codebase=http://kilpinen.mcs.gac.edu/~max/codebase/ edu/gac/max/movies/ChainImpl 
 1099  ?  S    0:00 csh -fb .onboot/dummy-chain 
 1100  ?  S    9:41 /usr/local/lib/java/bin/../bin/i586/green_threads/java -Djava.rmi.server.codebase=http://kilpinen.mcs.gac.edu/~max/codebase/ edu/gac/max/movies/dummy/ChainImpl 
 1120  ?  S    0:00 csh -fb .onboot/gened 
 1121  ?  S    9:43 /usr/local/lib/java/bin/../bin/i586/green_threads/java -Djava.rmi.server.codebase=http://kilpinen.mcs.gac.edu/~max/codebase/ edu/gac/max/gened/ServerImpl 
 3433  p2 S    0:00 -tcsh 
 3449  p2 R    0:00 ps xwww 

Looking at this output, I see that my dummy ChainImpl is the one
running with PID (process ID number) 1100. If I want to kill that
process,  I then just give the command

  kill 1100

As usual, let me know if you have any questions or problems. -max