Initial commit

run.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+set -eu
+
+make -B
+
+./server &
+sleep 0.01
+server_pid=$!
+
+if [ "$#" -gt 0 ]; then
+    gdb client
+else
+    ./client
+fi
+
+kill $server_pid
+