dstop.sh: stop crun too

diff --git a/src/dstop.sh b/src/dstop.sh
index 254c496f4f7e02fd442861dcc54c27b923f8d342..20443d944daec525fc2ad6a304c87b9947ee9250 100755 (executable)
--- a/src/dstop.sh
+++ b/src/dstop.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-killall cmon cmds
+killall cmon cmds crun
 
 for host in `cd dev/hosts ; ls`
 do