| 
									
										
										
										
											2010-03-11 22:53:45 +00:00
										 |  |  | #!/usr/bin/env python3 | 
					
						
							| 
									
										
										
										
											2010-03-08 17:48:38 +00:00
										 |  |  | '''
 | 
					
						
							|  |  |  | Small wsgiref based web server. Takes a path to serve from and an | 
					
						
							|  |  |  | optional port number (defaults to 8000), then tries to serve files. | 
					
						
							| 
									
										
										
										
											2012-12-18 21:14:22 +02:00
										 |  |  | Mime types are guessed from the file names, 404 errors are raised | 
					
						
							| 
									
										
										
										
											2010-03-08 17:48:38 +00:00
										 |  |  | if the file is not found. Used for the make serve target in Doc. | 
					
						
							|  |  |  | '''
 | 
					
						
							|  |  |  | import sys | 
					
						
							|  |  |  | import os | 
					
						
							|  |  |  | import mimetypes | 
					
						
							|  |  |  | from wsgiref import simple_server, util | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | def app(environ, respond): | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     fn = os.path.join(path, environ['PATH_INFO'][1:]) | 
					
						
							|  |  |  |     if '.' not in fn.split(os.path.sep)[-1]: | 
					
						
							|  |  |  |         fn = os.path.join(fn, 'index.html') | 
					
						
							|  |  |  |     type = mimetypes.guess_type(fn)[0] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if os.path.exists(fn): | 
					
						
							|  |  |  |         respond('200 OK', [('Content-Type', type)]) | 
					
						
							| 
									
										
										
										
											2010-08-03 17:09:36 +00:00
										 |  |  |         return util.FileWrapper(open(fn, "rb")) | 
					
						
							| 
									
										
										
										
											2010-03-08 17:48:38 +00:00
										 |  |  |     else: | 
					
						
							|  |  |  |         respond('404 Not Found', [('Content-Type', 'text/plain')]) | 
					
						
							| 
									
										
										
										
											2014-01-11 11:52:20 +02:00
										 |  |  |         return [b'not found'] | 
					
						
							| 
									
										
										
										
											2010-03-08 17:48:38 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | if __name__ == '__main__': | 
					
						
							|  |  |  |     path = sys.argv[1] | 
					
						
							|  |  |  |     port = int(sys.argv[2]) if len(sys.argv) > 2 else 8000 | 
					
						
							|  |  |  |     httpd = simple_server.make_server('', port, app) | 
					
						
							| 
									
										
										
										
											2010-05-31 23:23:50 +00:00
										 |  |  |     print("Serving {} on port {}, control-C to stop".format(path, port)) | 
					
						
							|  |  |  |     try: | 
					
						
							|  |  |  |         httpd.serve_forever() | 
					
						
							|  |  |  |     except KeyboardInterrupt: | 
					
						
							|  |  |  |         print("\b\bShutting down.") |