basics

main.py

@@ -0,0 +1,10 @@
+#import os
+import os
+
+#get pid
+pid = os.getpid()
+
+#write pid to file /tmp/battleship_server.pid
+with open('/tmp/battleship_server.pid', 'w') as f:
+    f.write(str(pid))
+print('battleship_server PID: ' + str(pid))