FIXUP

prog/admin_server.py

@@ -33,4 +33,5 @@ async def main():
     s = await communication.StdInOutSocket().connect()
     await AdminServer(s, is_server=True)._server_.run()
 
+if __name__ == "__main__":
     asyncio.run(main())