Rework docker container script for dodona

shells/dodona.nix

@@ -11,16 +11,22 @@ pkgs.mkShell {
     zlib
     (
       pkgs.writeScriptBin "start-db" ''
-        #!${zsh}/bin/zsh
+        #!${bash}/bin/bash
 
-        trap "docker stop dodona-db" 0
+        function stopdockers {
-        trap "docker stop dodona-cache" 0
+          docker stop dodona-db
+          docker stop dodona-cache
+        }
 
-        docker run --name dodona-db -p 3306:3306 --rm -v dodona-db-data:/var/lib/mysql -e MYSQL_ROOT_PASSWORD=dodona mariadb:latest &
+        trap stopdockers 0
-        docker run --name dodona-cache -p 11211:11211 --rm memcached:latest &
 
-        child=$!
+        docker run -d --name dodona-db -p 3306:3306 --rm -v dodona-db-data:/var/lib/mysql -e MYSQL_ROOT_PASSWORD=dodona mariadb:latest
-        wait $child
+        docker run -d --name dodona-cache -p 11211:11211 --rm memcached:latest
+
+        while [ 1 -eq 1 ]
+        do
+          sleep 1000
+        done
       ''
     )
   ];