New peer option `-mobile': follow rapid IP address and port changes.

[tripe] / py / tripe.py.in

diff --git a/py/tripe.py.in b/py/tripe.py.in
index 37de5a404de6aff7f87037aee85ff742db52cb39..cefb667f0e291c6225a566e76648e16e01c2f3ae 100644 (file)
--- a/py/tripe.py.in
+++ b/py/tripe.py.in
@@ -831,7 +831,7 @@ class TripeCommandDispatcher (TripeConnection):
     return _simple(me.command(bg = True,
                               *['ADD'] +
                               _kwopts(kw, ['tunnel', 'keepalive',
     return _simple(me.command(bg = True,
                               *['ADD'] +
                               _kwopts(kw, ['tunnel', 'keepalive',

-                                           'key', 'cork']) +
+                                           'key', 'cork', 'mobile']) +

                               [peer] +
                               list(addr)))
   def addr(me, peer):
                               [peer] +
                               list(addr)))
   def addr(me, peer):