diff --git a/bin/stop b/bin/stop
new file mode 100755
index 0000000000000000000000000000000000000000..b90a76c4094c44d37193341bef8d7832768f3bfc
--- /dev/null
+++ b/bin/stop
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+bash develop_server.sh stop