Minor server speed optimizations that don't really help all that much.

[plomrogue] / test_server.sh

diff --git a/test_server.sh b/test_server.sh
index d16231798161bee39538d7b24480682eb9006395..94b360dc4edda86e91b53252940f0d9c3e759b61 100755 (executable)
--- a/test_server.sh
+++ b/test_server.sh
@@ -1,8 +1,12 @@
 #!/bin/sh
 
+./redo
+cp ./roguelike-server ./testing/tested_server
+cp ./src/server/libplomrogue.c ./testing/tested_server_lib.c
+
 cp ./testing/start _test
 echo "Starting server on save file '_test' copied from ./testing/start."
-python3 -m cProfile -o ./testing/cProfile roguelike-server -l _test
+python3 -m cProfile -o ./testing/cProfile roguelike-server -l _test &
 
 echo "Waiting until ./server/in is ready for writing."
 while [ ! -e ./server/in ]