me.unping()
def destroy(me):
if me.pinger is not None:
- GO.source_remove(me.pinger)
+ GO.source_remove(me.pinger)
def report(me, msg):
moanbox(msg)
return True
Options supported:
--h, --help Show this help message.
--v, --version Show the version number.
--u, --usage Show pointlessly short usage string.
+-h, --help Show this help message.
+-v, --version Show the version number.
+-u, --usage Show pointlessly short usage string.
--d, --directory=DIR Use TrIPE directory DIR.
--a, --admin-socket=FILE Select socket to connect to."""
+-d, --directory=DIR Use TrIPE directory DIR.
+-a, --admin-socket=FILE Select socket to connect to."""
exit(0)
elif o in ('-v', '--version'):
version(stdout)