dump.py: lower poll timeout for faster exit

2026-07-13 17:02:06 +08:00 · 2021-03-30 12:16:57 +02:00
parent 6db31b9a33
commit b5450a7cc5
1 changed files with 1 additions and 1 deletions
@@ -38,7 +38,7 @@ if __name__ == "__main__":
    values = [s.strip().split(".") for s in args.values.split(",")]

  while 1:
-    polld = poller.poll(1000)
+    polld = poller.poll(100)
    for sock in polld:
      msg = sock.receive()
      evt = log.Event.from_bytes(msg)