diff options
Diffstat (limited to 'Chalice/src')
| -rw-r--r-- | Chalice/src/Chalice.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Chalice/src/Chalice.scala b/Chalice/src/Chalice.scala index 410e482c..0466ecc5 100644 --- a/Chalice/src/Chalice.scala +++ b/Chalice/src/Chalice.scala @@ -122,6 +122,9 @@ object Chalice { // terminate boogie if interrupted
Runtime.getRuntime.addShutdownHook(new Thread(new Runnable() {
def run {
+ val kill = Runtime.getRuntime.exec("taskkill /T /F /IM Boogie.exe");
+ kill.waitFor;
+ // just to be sure
boogie.destroy
}
}))
|