stream reads every 1s, even if nothing, so pop can occur regularly

poc/py/stream_to_state.py

@@ -27,15 +27,27 @@ def with_(N, R, T, p):
 
    bucket = Bucket(N, R, T, cb.cb())
 
-   while readline():
-      bucket.push()
+   while True:
+      got = readline()
+      if got:
+         bucket.push()
+      else:
+         bucket.pop()
 
 def readline():
-   try:
-      line = input()
-      return True
-   except EOFError:
-      return False
+   def __input(*args):
+      return input()
+   def _input(*args):
+      try:
+         foo = __input()
+      except Exception as e:
+         foo = None
+      return foo
+   timeout = 1
+   signal.signal(signal.SIGALRM, __input)
+   signal.alarm(timeout)
+   foo = _input()
+   return not foo is None
 
 class Bucket:
    def __init__(self, N, R, T, CB):