Some usefull scripts Linux/Python/server.py Launch a small web server, port and listening address can be configured