chiark / gitweb /
New peer option `-mobile': follow rapid IP address and port changes.
[tripe] / py / tripe.py.in
index 37de5a4..cefb667 100644 (file)
@@ -831,7 +831,7 @@ class TripeCommandDispatcher (TripeConnection):
     return _simple(me.command(bg = True,
                               *['ADD'] +
                               _kwopts(kw, ['tunnel', 'keepalive',
-                                           'key', 'cork']) +
+                                           'key', 'cork', 'mobile']) +
                               [peer] +
                               list(addr)))
   def addr(me, peer):