--- a/src/Pure/System/bash.scala Sat Apr 04 18:05:37 2020 +0200
+++ b/src/Pure/System/bash.scala Sat Apr 04 18:13:05 2020 +0200
@@ -115,7 +115,7 @@
while (running && count > 0) {
if (kill(signal)) {
Exn.Interrupt.postpone {
- Thread.sleep(100)
+ Time.seconds(0.1).sleep
count -= 1
}
}