org.erights.e.elib.util
Interface DeadManSwitch

All Known Implementing Classes:

DelayedRedirector, Redirector, WhenBrokenReactor, WhenResolvedReactor

public interface DeadManSwitch

Untamed: A DeadManSwitch is defined informally as anything that overrides the MirandaMethod __reactToLostClient/1 in order to actually react to this notification.

This interface is provided as a convenience for DeadManSwitches which are written in Java, so that they don't themselves have to be a public class in order for this method to be E-invocable.

Author:

Mark S. Miller

Method Summary

void	__reactToLostClient(Throwable problem) Enabled: Notification that some client of this object may no longer be able to talk to it, presumably because of a Partition whose case is described by 'problem'.

Method Detail

__reactToLostClient

public void __reactToLostClient(Throwable problem)

Enabled: Notification that some client of this object may no longer be able to talk to it, presumably because of a Partition whose case is described by 'problem'.

See Also:

org.erights.e.elib.prim.MirandaMethods#__reactToLostClient