Beremiz_service.py
branchpython3
changeset 3750 f62625418bff
parent 3738 9ce94d0d3764
child 3752 9f6f46dbe3ae
equal deleted inserted replaced
3749:fda6c1a37662 3750:f62625418bff
    22 # You should have received a copy of the GNU General Public License
    22 # You should have received a copy of the GNU General Public License
    23 # along with this program; if not, write to the Free Software
    23 # along with this program; if not, write to the Free Software
    24 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
    24 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
    25 
    25 
    26 
    26 
    27 from __future__ import absolute_import
    27 
    28 from __future__ import print_function
    28 
    29 import os
    29 import os
    30 import sys
    30 import sys
    31 import getopt
    31 import getopt
    32 import threading
    32 import threading
    33 import shlex
    33 import shlex
   519         LogMessageAndException(_("WAMP import failed :"))
   519         LogMessageAndException(_("WAMP import failed :"))
   520 
   520 
   521 # Load extensions
   521 # Load extensions
   522 for extention_file, extension_folder in extensions:
   522 for extention_file, extension_folder in extensions:
   523     sys.path.append(extension_folder)
   523     sys.path.append(extension_folder)
   524     execfile(os.path.join(extension_folder, extention_file), locals())
   524     exec(compile(open(os.path.join(extension_folder, extention_file), "rb").read(), os.path.join(extension_folder, extention_file), 'exec'), locals())
   525 
   525 
   526 # Service name is used as an ID for stunnel's PSK
   526 # Service name is used as an ID for stunnel's PSK
   527 # Some extension may set 'servicename' to a computed ID or Serial Number
   527 # Some extension may set 'servicename' to a computed ID or Serial Number
   528 # instead of using commandline '-n'
   528 # instead of using commandline '-n'
   529 if servicename is not None and PSKpath is not None:
   529 if servicename is not None and PSKpath is not None: