svghmi/svghmi_server.py
branchsvghmi
changeset 2823 d631f8671c75
parent 2822 9101a72a1da0
child 2830 15d7bd79d9e8
--- a/svghmi/svghmi_server.py	Fri Jan 10 13:15:07 2020 +0100
+++ b/svghmi/svghmi_server.py	Fri Jan 10 17:00:01 2020 +0100
@@ -9,6 +9,11 @@
 import errno
 from threading import RLock, Timer
 
+try:
+    from runtime.spawn_subprocess import Popen
+except ImportError:
+    from subprocess import Popen
+
 from twisted.web.server import Site
 from twisted.web.resource import Resource
 from twisted.internet import reactor