B 18™\‰ã@s²dZddlZddlZddlZddlmZmZdd„Zedkr®ej dZ e ej ƒdkrbe ej dƒnd Z e d e e¡Zed  e e ¡ƒy e ¡Wnek r¬ed ƒYnXdS) a  Small wsgiref based web server. Takes a path to serve from and an optional port number (defaults to 8000), then tries to serve files. Mime types are guessed from the file names, 404 errors are raised if the file is not found. Used for the make serve target in Doc. éN)Ú simple_serverÚutilcCsŽtj t|ddd…¡}d| tjj¡dkr>tj |d¡}t |¡d}tj |¡rx|dd|fgƒt  t |d ƒ¡S|d d gƒd gSdS) NZ PATH_INFOéÚ.éÿÿÿÿz index.htmlrz200 OKz Content-TypeÚrbz 404 Not Found)z Content-Typez text/plains not found) ÚosÚpathÚjoinÚsplitÚsepÚ mimetypesÚ guess_typeÚexistsrZ FileWrapperÚopen)ÚenvironZrespondÚfnÚtype©rúS/oak/stanford/groups/akundaje/marinovg/programs/Python-3.7.3/Tools/scripts/serve.pyÚapp s  rÚ__main__réi@Úz(Serving {} on port {}, control-C to stopzShutting down.)Ú__doc__Úsysrr ZwsgirefrrrÚ__name__Úargvr ÚlenÚintÚportZ make_serverZhttpdÚprintÚformatZ serve_foreverÚKeyboardInterruptrrrrÚs