![]() |
|
|||
File indexing completed on 2024-06-26 07:06:41
0001 import sys 0002 0003 from pyjano.server import create_server 0004 0005 0006 if __name__ == '__main__': 0007 0008 server = create_server(debug=True) 0009 if len(sys.argv) > 1: 0010 server.run(port=int(sys.argv[1])) 0011 else: 0012 server.run()
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.5 LXR engine. The LXR team |
![]() ![]() |