log.fine(execution.toString()+" signals "+node);
} else {
log.fine("signalling "+node+", signal="+signal);
}
ExternalActivity externalActivity = (ExternalActivity) node.getBehaviour();
try {
execution.userCodeType = ExecutionImpl.UserCodeType.NODE_BEHAVIOUR;
execution.propagation = Propagation.UNSPECIFIED;
externalActivity.signal(execution, signal, parameters);
} catch (RuntimeException e) {
throw e;
} catch (Exception e) {
throw new PvmException("couldn't signal "+node+": "+e.getMessage(), e);
} finally {