diff --git a/tools/simple_http_server.py b/tools/simple_http_server.py index 24c55962d..f60686839 100755 --- a/tools/simple_http_server.py +++ b/tools/simple_http_server.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """A version of Python's SimpleHTTPServer that flushes its output.""" import sys