@@ -633,11 +633,17 @@
 	      (match-dat (string-search hostpid-rx param-key))
 	      (hostname  (cadr match-dat))
 	      (pid       (caddr match-dat)))
 	 (debug:print 0 "Sending SIGINT to process " pid " on host " hostname)
 	 (if (equal? (get-host-name) hostname)
-	     (process-signal (string->number pid) signal/int)
+	     (begin
+	       (process-signal (string->number pid) signal/int)
+	       (thread-sleep! 5)
+	       (handle-exceptions
+		exn
+		#t
+		(process-signal (string->number pid) signal/kill)))
 	     ;;  (call-with-environment-variables
 	     (let ((old-targethost (getenv "TARGETHOST")))
 	       (set-environment-variable "TARGETHOST" hostname)
 	       (system (conc "nbfake " kill " " pid))
 	       (if old-targethost (set-environment-variable "TARGETHOST" old-targethost))))))