chiark / gitweb /
tripe-keys: Provide upload-hook for more complicated publishing.
[tripe] / mon / tripemon.in
index 0db0775247603f6c6f9d14010d65fb6fa90615dc..912f7d0b52790437fb85a3b13be0735ce2310051 100644 (file)
@@ -966,7 +966,7 @@ class AddPeerDialog (MyDialog):
                                newlinep = True)
     me.e_port = table.labelled('Port',
                                ValidatingEntry(numericvalidate(0, 65535),
-                                               '22003',
+                                               '4070',
                                                5))
     me.c_keepalive = G.CheckButton('Keepalives')
     me.l_tunnel = table.labelled('Tunnel',
@@ -1242,7 +1242,7 @@ class MonitorWindow (MyWindow):
     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
@@ -1261,7 +1261,7 @@ def main():
   global tripedir
   if 'TRIPEDIR' in environ:
     tripedir = environ['TRIPEDIR']
-  tripesock = '%s/%s' % (socketdir, 'tripesock')
+  tripesock = environ.get('TRIPESOCK', '%s/%s' % (socketdir, 'tripesock'))
 
   try:
     opts, args = O.getopt(argv[1:],
@@ -1282,12 +1282,12 @@ Graphical monitor for TrIPE VPN.
 
 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)