@@ -233,16 +233,7 @@ _startserver() {
_stopserver() {
pid="$1"
- if [ "$pid" ] ; then
- if [ "$DEBUG" ] ; then
-# kill -s 9 $pid
-# killall -s 9 nc
- else
-# kill -s 9 $pid > /dev/null
-# wait $pid 2>/dev/null
-# killall -s 9 nc > /dev/null
- fi
+
}
_initpath() {