rename maybeKill to checkKill, and make it public

krestenkrab · Dec 3, 2009 · 6b30eb0 · 6b30eb0
1 parent 4dadb71
commit 6b30eb0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/kilim/Mailbox.java b/src/kilim/Mailbox.java
@@ -331,6 +331,7 @@ public boolean putnb(T msg) {
 
     public void put(T msg) throws Pausable {
         Task t = Task.getCurrentTask();
+        t.checkKill();
         while (!put(msg, t)) {
             Task.pause(this);
         }

diff --git a/src/kilim/Task.java b/src/kilim/Task.java
@@ -134,9 +134,9 @@ public void kill(Error ex) {
     	resume();
     }
 
-    private void maybeKill() {
+    public void checkKill() {
     	if (this.death_ex != null) {
-    		System.err.println("killing "+this+": throw "+death_ex);
+    		// System.err.println("killing "+this+": throw "+death_ex);
     		throw this.death_ex;
     	}
     }
@@ -292,7 +292,7 @@ public static void pause(PauseReason pauseReason, Fiber f) {
             f.task.setPauseReason(null);
         }
         f.togglePause();
-        f.task.maybeKill();
+        f.task.checkKill();
     }
 
     /*