From: bdemsky <bdemsky>
Date: Sun, 18 Oct 2009 09:54:26 +0000 (+0000)
Subject: allow threads to request abort
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=eb7d267b48afc02bcdff5799d9c064ceb6c2b814;p=IRC.git

allow threads to request abort
---

diff --git a/Robust/src/ClassLibrary/JavaSTM/Thread.java b/Robust/src/ClassLibrary/JavaSTM/Thread.java
index 50c5580f..d74b50f0 100644
--- a/Robust/src/ClassLibrary/JavaSTM/Thread.java
+++ b/Robust/src/ClassLibrary/JavaSTM/Thread.java
@@ -5,6 +5,9 @@ public class Thread {
     nativeCreate();
   }
 
+  public static native void abort() {
+  }
+
   private static void staticStart(Thread t) {
     t.run();
   }