wmii

commit adfb6ad715d0c5143ebccebff31bf399bda33cf5
parent 3e4a5e64ee4226ecbda852d785f49b418332b627
Author: Georg Neis <gn@wmii.de>
Date:   Tue, 21 Feb 2006 23:35:20 +0200

cosmetic


Diffstat:
rc/extern
 | 
1
-
rc/status
 | 
4
++--

2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/rc/extern b/rc/extern
@@ -3,7 +3,6 @@
 
 path=$old_path
 old_path=()
-wmiircpid=()
 apid=()
 cmd=()
 home=()
diff --git a/rc/status b/rc/status
@@ -15,8 +15,8 @@ lab=`{wmiir read /bar|maxlab}
 # install signal handler for artificial sigexit:
 fn sigint {
     if(test -f $PIDFILE && ~ `{cat $PIDFILE} $pid)
-    	rm -f $PIDFILE
-	wmiir remove /bar/$lab
+        rm -f $PIDFILE
+    wmiir remove /bar/$lab
     exit
 }