svghmi/svghmi_server.py
branchsvghmi
changeset 2823 d631f8671c75
parent 2822 9101a72a1da0
child 2830 15d7bd79d9e8
equal deleted inserted replaced
2822:9101a72a1da0 2823:d631f8671c75
     6 # See COPYING file for copyrights details.
     6 # See COPYING file for copyrights details.
     7 
     7 
     8 from __future__ import absolute_import
     8 from __future__ import absolute_import
     9 import errno
     9 import errno
    10 from threading import RLock, Timer
    10 from threading import RLock, Timer
       
    11 
       
    12 try:
       
    13     from runtime.spawn_subprocess import Popen
       
    14 except ImportError:
       
    15     from subprocess import Popen
    11 
    16 
    12 from twisted.web.server import Site
    17 from twisted.web.server import Site
    13 from twisted.web.resource import Resource
    18 from twisted.web.resource import Resource
    14 from twisted.internet import reactor
    19 from twisted.internet import reactor
    15 from twisted.web.static import File
    20 from twisted.web.static import File