import curses
+import os
import signal
+import time
def set_window_geometries():
j = win["start"][int(k == 0)] - sep_size
if (j >= 0 and j < screen_size[int(k == 0)]):
start = win["start"][k]
- start = start if start >= 0 else 0
+ # start = start if start >= 0 else 0
end = win["start"][k] + win["size"][k]
end = end if end < screen_size[k] else screen_size[k]
if k:
stdscr.addch(down, right, '+')
def draw_window_contents():
- for win in windows:
- offset, size, winmap = win["func"]()
+ def draw_winmap():
stop = [0, 0]
for i in range(2):
stop[i] = win["size"][i] + offset[i]
if (y_in_screen < screen_size[0]
and x_in_screen < screen_size[1]):
stdscr.addch(y_in_screen, x_in_screen, cell)
+ def draw_scroll_hints():
+ def draw_scroll_string(n_lines_outside):
+ hint = ' ' + str(n_lines_outside + 1) + ' more ' + unit + ' '
+ if len(hint) <= win["size"][ni]:
+ non_hint_space = win["size"][ni] - len(hint)
+ hint_offset = int(non_hint_space / 2)
+ for j in range(win["size"][ni] - non_hint_space):
+ pos_2 = win["start"][ni] + hint_offset + j
+ x, y = (pos_2, pos_1) if ni else (pos_1, pos_2)
+ stdscr.addch(y, x, hint[j], curses.A_REVERSE)
+ def draw_scroll_arrows(ar1, ar2):
+ for j in range(win["size"][ni]):
+ pos_2 = win["start"][ni] + j
+ x, y = (pos_2, pos_1) if ni else (pos_1, pos_2)
+ stdscr.addch(y, x, ar1 if ni else ar2, curses.A_REVERSE)
+ for i in range(2):
+ ni = int(i == 0)
+ unit = 'rows' if ni else 'columns'
+ if (offset[i] > 0):
+ pos_1 = win["start"][i]
+ draw_scroll_arrows('^', '<')
+ draw_scroll_string(offset[i])
+ if (size[i] > offset[i] + win["size"][i]):
+ pos_1 = win["start"][i] + win["size"][i] - 1
+ draw_scroll_arrows('v', '>')
+ draw_scroll_string(size[i] - offset[i] - win["size"][i])
+ for win in windows:
+ offset, size, winmap = win["func"]()
+ draw_winmap()
+ draw_scroll_hints()
stdscr.clear()
draw_window_border_lines()
stdscr.refresh()
-def main(stdscr):
+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
+
+
+def cursed_main(stdscr):
curses.noecho()
curses.curs_set(False)
# stdscr.keypad(True)
signal.signal(signal.SIGWINCH,
lambda ignore_1, ignore_2: set_window_geometries())
set_window_geometries()
+ delay = 1
while True:
+ stdscr.timeout(delay)
+ delay = delay * 2 if delay < 1000 else delay
draw_screen()
- stdscr.getch()
+ char = stdscr.getch()
+ if (char >= 0):
+ if chr(char) in commands:
+ commands[chr(char)]()
+ test_and_poll_server()
+
def foo():
winmap = ['.', 'o', '.', 'o', 'O', 'o', '.', 'o', '.', 'x', 'y', 'x']
return offset, size, winmap
+def command_quit():
+ io["file_out"].write("QUIT\n")
+ io["file_out"].flush()
+ raise SystemExit("Received QUIT command, forwarded to server, leaving.")
+
+
windows = [
{"config": [1, 33], "func": foo},
{"config": [-7, 33], "func": foo},
{"config": [4, 16], "func": foo},
{"config": [0, -34], "func": foo}
]
-
+io = {
+ "path_out": "server/in",
+ "path_in": "server/out"
+}
+commands = {
+ "Q": command_quit
+}
sep_size = 1 # Width of inter-window borders and title bars.
stdscr = None
screen_size = [0,0]
-curses.wrapper(main)
+
+try:
+ if (not os.access(io["path_out"], os.F_OK)):
+ msg = "No server input file found at " + io["path_out"] + "."
+ raise SystemExit(msg)
+ io["file_out"] = open(io["path_out"], "a")
+ io["file_in"] = open(io["path_in"], "r")
+ curses.wrapper(cursed_main)
+except SystemExit as exit:
+ print("ABORTING: " + exit.args[0])
+except:
+ print("SOMETHING WENT WRONG IN UNEXPECTED WAYS")
+ raise
+finally:
+ if "file_out" in io:
+ io["file_out"].close()
+ if "file_in" in io:
+ io["file_in"].close()