org.terrier.utility

Interface KillHandler.Killable

Enclosing class:

KillHandler

public static interface KillHandler.Killable

Interface denoting an object which can be killed by the KillHandler

Method Summary

Methods

Modifier and Type	Method and Description
void	kill() Called when the JVM is shutting down

Method Detail

kill

void kill()

Called when the JVM is shutting down