-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