Fixed bug in ksrestart.sh