diff options
author | jedgar <jedgar@FreeBSD.org> | 2000-09-09 00:39:07 +0800 |
---|---|---|
committer | jedgar <jedgar@FreeBSD.org> | 2000-09-09 00:39:07 +0800 |
commit | e8500b76cd7362a81ec1375c224414583649b4db (patch) | |
tree | 961c8027db4e15d411a77fa503be30508fd565a4 | |
parent | e7dbebaa362ba11c6bfa64503d9ad7f6cf581335 (diff) | |
download | freebsd-ports-gnome-e8500b76cd7362a81ec1375c224414583649b4db.tar.gz freebsd-ports-gnome-e8500b76cd7362a81ec1375c224414583649b4db.tar.zst freebsd-ports-gnome-e8500b76cd7362a81ec1375c224414583649b4db.zip |
- 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.
-rw-r--r-- | net/tcserver/files/patch-ab | 6 | ||||
-rw-r--r-- | net/tcserver/files/patch-ac | 10 |
2 files changed, 13 insertions, 3 deletions
diff --git a/net/tcserver/files/patch-ab b/net/tcserver/files/patch-ab index d00f1e06e89a..aae6a9a05200 100644 --- a/net/tcserver/files/patch-ab +++ b/net/tcserver/files/patch-ab @@ -1,6 +1,6 @@ --- tcserver.cfg-dist.orig Mon Jun 12 16:29:03 2000 -+++ tcserver.cfg-dist Tue Jun 20 11:56:29 2000 -@@ -1,12 +1,8 @@ ++++ tcserver.cfg-dist Fri Sep 8 12:19:20 2000 +@@ -1,12 +1,10 @@ [config] -CONTENT_DIR=content @@ -15,3 +15,5 @@ -LOGGING_DIR=logs +LOGGING_DIR=__LOG_DIR__ LOGGING=yes ++ ++PID_FILE=__PID_DIR__/tcserver.pid diff --git a/net/tcserver/files/patch-ac b/net/tcserver/files/patch-ac index 4bff6c204878..70cd69495bf2 100644 --- a/net/tcserver/files/patch-ac +++ b/net/tcserver/files/patch-ac @@ -1,5 +1,5 @@ --- scripts/tcserver.init.orig Wed Apr 12 01:22:35 2000 -+++ scripts/tcserver.init Tue Jun 20 11:59:40 2000 ++++ scripts/tcserver.init Fri Sep 8 12:29:55 2000 @@ -15,14 +15,14 @@ # ============================================================================ @@ -18,3 +18,11 @@ if [ ! -f $BIN ]; then echo "$BIN not found. TeraCAST not started" +@@ -44,6 +44,7 @@ + kill `cat $PIDFILE` >/dev/null 2>&1 + sleep 1 + kill -9 `cat $PIDFILE` >/dev/null 2>&1 ++ rm -f $PIDFILE + ;; + + 'restart') |