From 288c61b9c8d4a6d5e33b1f3447339450d73c3a6a Mon Sep 17 00:00:00 2001 From: Adrien Ferrand Date: Sun, 5 Jul 2020 21:29:02 +0200 Subject: [PATCH] Use python3 --- tools/simple_http_server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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