diff options
Diffstat (limited to 'third_party')
| -rw-r--r-- | third_party/CppHeaderParser/setup.py | 2 | ||||
| -rw-r--r-- | third_party/demangler.py | 2 | ||||
| -rwxr-xr-x | third_party/websockify/run | 2 | ||||
| -rw-r--r-- | third_party/websockify/websockify/websocket.py | 2 | ||||
| -rwxr-xr-x | third_party/websockify/websockify/websocketproxy.py | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/third_party/CppHeaderParser/setup.py b/third_party/CppHeaderParser/setup.py index 3c254a03..f81ff431 100644 --- a/third_party/CppHeaderParser/setup.py +++ b/third_party/CppHeaderParser/setup.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python2 # -*- coding: utf-8 -*- import sys, glob diff --git a/third_party/demangler.py b/third_party/demangler.py index 1066643b..66e8eaea 100644 --- a/third_party/demangler.py +++ b/third_party/demangler.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/python2 ''' Simple tool to run the demangler. diff --git a/third_party/websockify/run b/third_party/websockify/run index 54db9b8d..2802254f 100755 --- a/third_party/websockify/run +++ b/third_party/websockify/run @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/python2 import websockify diff --git a/third_party/websockify/websockify/websocket.py b/third_party/websockify/websockify/websocket.py index 3f539a1d..9ce13159 100644 --- a/third_party/websockify/websockify/websocket.py +++ b/third_party/websockify/websockify/websocket.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python2 ''' Python WebSocket library with support for "wss://" encryption. diff --git a/third_party/websockify/websockify/websocketproxy.py b/third_party/websockify/websockify/websocketproxy.py index 1154d925..18d0a284 100755 --- a/third_party/websockify/websockify/websocketproxy.py +++ b/third_party/websockify/websockify/websocketproxy.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python2 ''' A WebSocket to TCP socket proxy with support for "wss://" encryption. |