--- /tmp/isvw-orig	2008-02-10 12:26:31.425215000 +0100
+++ isvw6	2008-02-10 12:25:07.765215000 +0100
@@ -189,8 +189,8 @@
 		return 0;
 	fi
 	
-	$LINUX_CMD_IPCS -s | $LINUX_CMD_TAIL +4 | $LINUX_CMD_GREP $ISVW_USER_NAME | $LINUX_CMD_CUT -d" " -f2 | $LINUX_CMD_XARGS $LINUX_CMD_IPCRM sem  >>/dev/null 2>&1
-	$LINUX_CMD_IPCS -m | $LINUX_CMD_TAIL +4 | $LINUX_CMD_GREP $ISVW_USER_NAME | $LINUX_CMD_CUT -d" " -f2 | $LINUX_CMD_XARGS $LINUX_CMD_IPCRM shm  >>/dev/null 2>&1
+	$LINUX_CMD_IPCS -s | $LINUX_CMD_TAIL -n +4 | $LINUX_CMD_GREP $ISVW_USER_NAME | $LINUX_CMD_CUT -d" " -f2 | $LINUX_CMD_XARGS $LINUX_CMD_IPCRM sem  >>/dev/null 2>&1
+	$LINUX_CMD_IPCS -m | $LINUX_CMD_TAIL -n +4 | $LINUX_CMD_GREP $ISVW_USER_NAME | $LINUX_CMD_CUT -d" " -f2 | $LINUX_CMD_XARGS $LINUX_CMD_IPCRM shm  >>/dev/null 2>&1
 	
 	"$D_INSTALLED_DIR/$ISVW_MAIN" -u $ISVW_USER_NAME -p "$ISVW_PID_FILE" -d