K 10 svn:author V 6 jedgar K 8 svn:date V 27 2000-09-08T16:39:07.000000Z K 7 svn:log V 279 - Use pid-file by default so the server can be easily shutdown using the etc/rc.d/tcserver.sh script. - Remove pid-file after server is shutdown (server does not overwrite an existing pid-file), otherwise subsequent shutdown operations will not work due to an invalid pid. END