web-server/stop-server.sh

#!/bin/bash

kill `cat /tmp/main-server-pid`