diff options
| author |  kyessenov <unknown> | 2010-08-10 00:43:19 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-08-10 00:43:19 +0000 |
| commit | c2aa0b56fce36a101c3bef7ce901b8f26dcb5f08 (patch) | |
| tree | b9a512ba0548864f1f7fb55a9944f5e929f6c0f7 | |
| parent | 5189a845e0d485963510a160398c8ad90ca3c067 (diff) | |
Chalice: forcefully kill Boogie with taskkill /T /F on termination
| -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
}
}))
|