Permalink
Browse files

process_incoming_exit(): just return if already killed (as advertised)

  • Loading branch information...
1 parent 85e68b0 commit bb3d2a099040dc31d9c32b3af3657a85548948f6 @esstrifork esstrifork committed Jan 28, 2014
Showing with 2 additions and 1 deletion.
  1. +2 −1 src/main/java/erjang/EProc.java
@@ -253,10 +253,11 @@ protected void do_proc_termination(EObject result) throws Pausable {
protected void process_incoming_exit(EHandle from, EObject reason, boolean is_erlang_exit2) throws Pausable
{
- if (pstate == STATE.EXIT_SIG || pstate == STATE.SENDING_EXIT) {
+ if (pstate == STATE.EXIT_SIG || pstate == STATE.SENDING_EXIT || pstate == STATE.DONE) {
if (log.isLoggable(Level.FINE)) {
log.fine("Ignoring incoming exit reason="+reason+", as we're already exiting reason="+exit_reason);
}
+ return;
}
if (log.isLoggable(Level.FINE)) {

0 comments on commit bb3d2a0

Please sign in to comment.