+def test_and_poll_server():
+ half_wait_time = 5
+ new_file_content = io["file_in"].read()
+ # TODO: do something useful with new_file_content
+ server_answered = len(new_file_content) > 0
+ if server_answered:
+ test_and_poll_server.ping_sent = False
+ elif test_and_poll_server.wait_start + half_wait_time < time.time():
+ if not test_and_poll_server.ping_sent:
+ io["file_out"].write("PING\n")
+ io["file_out"].flush()
+ test_and_poll_server.ping_sent = True
+ test_and_poll_server.wait_start = time.time()
+ elif test_and_poll_server.ping_sent:
+ raise SystemExit("Server not answering anymore.")
+test_and_poll_server.wait_start = 0
+
+