1

#!/usr/bin/env python

     2

# -*- coding: utf-8 -*-

     3

     4

#This file is part of Beremiz, a Integrated Development Environment for

     5

#programming IEC 61131-3 automates supporting plcopen standard and CanFestival. 

     6

#

     7

#Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD

     8

#

     9

#See COPYING file for copyrights details.

    10

#

    11

#This library is free software; you can redistribute it and/or

    12

#modify it under the terms of the GNU General Public

    13

#License as published by the Free Software Foundation; either

    14

#version 2.1 of the License, or (at your option) any later version.

    15

#

    16

#This library is distributed in the hope that it will be useful,

    17

#but WITHOUT ANY WARRANTY; without even the implied warranty of

    18

#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    19

#General Public License for more details.

    20

#

    21

#You should have received a copy of the GNU General Public

    22

#License along with this library; if not, write to the Free Software

    23

#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    24

    25

__version__ = "$Revision$"

    26

    27

import os, sys, getopt, wx

    28

import tempfile

    29

import shutil

    30

import random

    31

    32

CWD = os.path.split(os.path.realpath(__file__))[0]

    33

    34

def Bpath(*args):

    35

    return os.path.join(CWD,*args)

    36

    37

if __name__ == '__main__':

    38

    def usage():

    39

        print "\nUsage of Beremiz.py :"

    40

        print "\n   %s [Projectpath] [Buildpath]\n"%sys.argv[0]

    41

    42

    try:

    43

        opts, args = getopt.getopt(sys.argv[1:], "h", ["help"])

    44

    except getopt.GetoptError:

    45

        # print help information and exit:

    46

        usage()

    47

        sys.exit(2)

    48

    49

    for o, a in opts:

    50

        if o in ("-h", "--help"):

    51

            usage()

    52

            sys.exit()

    53

    54

    if len(args) > 2:

    55

        usage()

    56

        sys.exit()

    57

    elif len(args) == 1:

    58

        projectOpen = args[0]

    59

        buildpath = None

    60

    elif len(args) == 2:

    61

        projectOpen = args[0]

    62

        buildpath = args[1]

    63

    else:

    64

        projectOpen = None

    65

        buildpath = None

    66

    67

    app = wx.PySimpleApp()

    68

    app.SetAppName('beremiz')

    69

    config = wx.ConfigBase.Get()

    70

    wx.InitAllImageHandlers()

    71

    72

    bmp = wx.Image(Bpath("images","splash.png")).ConvertToBitmap()

    73

    splash=wx.SplashScreen(bmp,wx.SPLASH_CENTRE_ON_SCREEN, 1000, None)

    74

    wx.Yield()

    75

    76

# Import module for internationalization

    77

import gettext

    78

import __builtin__

    79

    80

# Get folder containing translation files

    81

localedir = os.path.join(CWD,"locale")

    82

# Get the default language

    83

langid = wx.LANGUAGE_DEFAULT

    84

# Define translation domain (name of translation files)

    85

domain = "Beremiz"

    86

    87

# Define locale for wx

    88

loc = __builtin__.__dict__.get('loc', None)

    89

if loc is None:

    90

    loc = wx.Locale(langid)

    91

    __builtin__.__dict__['loc'] = loc

    92

# Define location for searching translation files

    93

loc.AddCatalogLookupPathPrefix(localedir)

    94

# Define locale domain

    95

loc.AddCatalog(domain)

    96

    97

def unicode_translation(message):

    98

    return wx.GetTranslation(message).encode("utf-8")

    99

   100

if __name__ == '__main__':

   101

    __builtin__.__dict__['_'] = wx.GetTranslation#unicode_translation

   102

   103

import wx.lib.buttons, wx.lib.statbmp

   104

import TextCtrlAutoComplete, cPickle

   105

import types, time, re, platform, time, traceback, commands

   106

from plugger import PluginsRoot, MATIEC_ERROR_MODEL

   107

from wxPopen import ProcessLogger

   108

   109

base_folder = os.path.split(sys.path[0])[0]

   110

sys.path.append(base_folder)

   111

from docutils import *

   112

   113

SCROLLBAR_UNIT = 10

   114

WINDOW_COLOUR = wx.Colour(240,240,240)

   115

TITLE_COLOUR = wx.Colour(200,200,220)

   116

CHANGED_TITLE_COLOUR = wx.Colour(220,200,220)

   117

CHANGED_WINDOW_COLOUR = wx.Colour(255,240,240)

   118

   119

if wx.Platform == '__WXMSW__':

   120

    faces = { 'times': 'Times New Roman',

   121

              'mono' : 'Courier New',

   122

              'helv' : 'Arial',

   123

              'other': 'Comic Sans MS',

   124

              'size' : 16,

   125

             }

   126

else:

   127

    faces = { 'times': 'Times',

   128

              'mono' : 'Courier',

   129

              'helv' : 'Helvetica',

   130

              'other': 'new century schoolbook',

   131

              'size' : 18,

   132

             }

   133

   134

# Some helpers to tweak GenBitmapTextButtons

   135

# TODO: declare customized classes instead.

   136

gen_mini_GetBackgroundBrush = lambda obj:lambda dc: wx.Brush(obj.GetParent().GetBackgroundColour(), wx.SOLID)

   137

gen_textbutton_GetLabelSize = lambda obj:lambda:(wx.lib.buttons.GenButton._GetLabelSize(obj)[:-1] + (False,))

   138

   139

def make_genbitmaptogglebutton_flat(button):

   140

    button.GetBackgroundBrush = gen_mini_GetBackgroundBrush(button)

   141

    button.labelDelta = 0

   142

    button.SetBezelWidth(0)

   143

    button.SetUseFocusIndicator(False)

   144

   145

# Patch wx.lib.imageutils so that gray is supported on alpha images

   146

import wx.lib.imageutils

   147

from wx.lib.imageutils import grayOut as old_grayOut

   148

def grayOut(anImage):

   149

    if anImage.HasAlpha():

   150

        AlphaData = anImage.GetAlphaData()

   151

    else :

   152

        AlphaData = None

   153

   154

    old_grayOut(anImage)

   155

   156

    if AlphaData is not None:

   157

        anImage.SetAlphaData(AlphaData)

   158

   159

wx.lib.imageutils.grayOut = grayOut

   160

   161

class GenBitmapTextButton(wx.lib.buttons.GenBitmapTextButton):

   162

    def _GetLabelSize(self):

   163

        """ used internally """

   164

        w, h = self.GetTextExtent(self.GetLabel())

   165

        if not self.bmpLabel:

   166

            return w, h, False       # if there isn't a bitmap use the size of the text

   167

   168

        w_bmp = self.bmpLabel.GetWidth()+2

   169

        h_bmp = self.bmpLabel.GetHeight()+2

   170

        height = h + h_bmp

   171

        if w_bmp > w:

   172

            width = w_bmp

   173

        else:

   174

            width = w

   175

        return width, height, False

   176

   177

    def DrawLabel(self, dc, width, height, dw=0, dy=0):

   178

        bmp = self.bmpLabel

   179

        if bmp != None:     # if the bitmap is used

   180

            if self.bmpDisabled and not self.IsEnabled():

   181

                bmp = self.bmpDisabled

   182

            if self.bmpFocus and self.hasFocus:

   183

                bmp = self.bmpFocus

   184

            if self.bmpSelected and not self.up:

   185

                bmp = self.bmpSelected

   186

            bw,bh = bmp.GetWidth(), bmp.GetHeight()

   187

            if not self.up:

   188

                dw = dy = self.labelDelta

   189

            hasMask = bmp.GetMask() != None

   190

        else:

   191

            bw = bh = 0     # no bitmap -> size is zero

   192

   193

        dc.SetFont(self.GetFont())

   194

        if self.IsEnabled():

   195

            dc.SetTextForeground(self.GetForegroundColour())

   196

        else:

   197

            dc.SetTextForeground(wx.SystemSettings.GetColour(wx.SYS_COLOUR_GRAYTEXT))

   198

   199

        label = self.GetLabel()

   200

        tw, th = dc.GetTextExtent(label)        # size of text

   201

        if not self.up:

   202

            dw = dy = self.labelDelta

   203

   204

        pos_x = (width-bw)/2+dw      # adjust for bitmap and text to centre

   205

        pos_y = (height-bh-th)/2+dy

   206

        if bmp !=None:

   207

            dc.DrawBitmap(bmp, pos_x, pos_y, hasMask) # draw bitmap if available

   208

            pos_x = (width-tw)/2+dw      # adjust for bitmap and text to centre

   209

            pos_y += bh + 2

   210

   211

        dc.DrawText(label, pos_x, pos_y)      # draw the text

   212

   213

   214

class GenStaticBitmap(wx.lib.statbmp.GenStaticBitmap):

   215

    """ Customized GenStaticBitmap, fix transparency redraw bug on wx2.8/win32, 

   216

    and accept image name as __init__ parameter, fail silently if file do not exist"""

   217

    def __init__(self, parent, ID, bitmapname,

   218

                 pos = wx.DefaultPosition, size = wx.DefaultSize,

   219

                 style = 0,

   220

                 name = "genstatbmp"):

   221

   222

        bitmappath = Bpath( "images", bitmapname)

   223

        if os.path.isfile(bitmappath):

   224

            bitmap = wx.Bitmap(bitmappath)

   225

        else:

   226

            bitmap = None

   227

        wx.lib.statbmp.GenStaticBitmap.__init__(self, parent, ID, bitmap,

   228

                 pos, size,

   229

                 style,

   230

                 name)

   231

   232

    def OnPaint(self, event):

   233

        dc = wx.PaintDC(self)

   234

        colour = self.GetParent().GetBackgroundColour()

   235

        dc.SetPen(wx.Pen(colour))

   236

        dc.SetBrush(wx.Brush(colour ))

   237

        dc.DrawRectangle(0, 0, *dc.GetSizeTuple())

   238

        if self._bitmap:

   239

            dc.DrawBitmap(self._bitmap, 0, 0, True)

   240

   241

   242

class LogPseudoFile:

   243

    """ Base class for file like objects to facilitate StdOut for the Shell."""

   244

    def __init__(self, output):

   245

        self.red_white = wx.TextAttr("RED", "WHITE")

   246

        self.red_yellow = wx.TextAttr("RED", "YELLOW")

   247

        self.black_white = wx.TextAttr("BLACK", "WHITE")

   248

        self.default_style = None

   249

        self.output = output

   250

   251

    def write(self, s, style = None):

   252

        if style is None : style=self.black_white

   253

        self.output.Freeze(); 

   254

        if self.default_style != style: 

   255

            self.output.SetDefaultStyle(style)

   256

            self.default_style = style

   257

        self.output.AppendText(s)

   258

        self.output.ScrollLines(s.count('\n')+1)

   259

        self.output.ShowPosition(self.output.GetLastPosition())

   260

        self.output.Thaw()

   261

   262

    def write_warning(self, s):

   263

        self.write(s,self.red_white)

   264

   265

    def write_error(self, s):

   266

        self.write(s,self.red_yellow)

   267

   268

    def flush(self):

   269

        self.output.SetValue("")

   270

   271

    def isatty(self):

   272

        return false

   273

   274

[ID_BEREMIZ, ID_BEREMIZMAINSPLITTER, 

   275

 ID_BEREMIZPLCCONFIG, ID_BEREMIZLOGCONSOLE, 

   276

 ID_BEREMIZINSPECTOR] = [wx.NewId() for _init_ctrls in range(5)]

   277

   278

[ID_BEREMIZRUNMENUBUILD, ID_BEREMIZRUNMENUSIMULATE, 

   279

 ID_BEREMIZRUNMENURUN, ID_BEREMIZRUNMENUSAVELOG, 

   280

] = [wx.NewId() for _init_coll_EditMenu_Items in range(4)]

   281

   282

class Beremiz(wx.Frame):

   283

   284

    def _init_coll_FileMenu_Items(self, parent):

   285

        parent.Append(help='', id=wx.ID_NEW,

   286

              kind=wx.ITEM_NORMAL, text=_(u'New\tCTRL+N'))

   287

        parent.Append(help='', id=wx.ID_OPEN,

   288

              kind=wx.ITEM_NORMAL, text=_(u'Open\tCTRL+O'))

   289

        parent.Append(help='', id=wx.ID_SAVE,

   290

              kind=wx.ITEM_NORMAL, text=_(u'Save\tCTRL+S'))

   291

        parent.Append(help='', id=wx.ID_CLOSE_ALL,

   292

              kind=wx.ITEM_NORMAL, text=_(u'Close Project'))

   293

        parent.AppendSeparator()

   294

        parent.Append(help='', id=wx.ID_PROPERTIES,

   295

              kind=wx.ITEM_NORMAL, text=_(u'Properties'))

   296

        parent.AppendSeparator()

   297

        parent.Append(help='', id=wx.ID_EXIT,

   298

              kind=wx.ITEM_NORMAL, text=_(u'Quit\tCTRL+Q'))

   299

        self.Bind(wx.EVT_MENU, self.OnNewProjectMenu, id=wx.ID_NEW)

   300

        self.Bind(wx.EVT_MENU, self.OnOpenProjectMenu, id=wx.ID_OPEN)

   301

        self.Bind(wx.EVT_MENU, self.OnSaveProjectMenu, id=wx.ID_SAVE)

   302

        self.Bind(wx.EVT_MENU, self.OnCloseProjectMenu, id=wx.ID_CLOSE_ALL)

   303

        self.Bind(wx.EVT_MENU, self.OnPropertiesMenu, id=wx.ID_PROPERTIES)

   304

        self.Bind(wx.EVT_MENU, self.OnQuitMenu, id=wx.ID_EXIT)

   305

   306

    def _init_coll_EditMenu_Items(self, parent):

   307

        parent.Append(help='', id=wx.ID_EDIT,

   308

              kind=wx.ITEM_NORMAL, text=_(u'Edit PLC\tCTRL+R'))

   309

        parent.AppendSeparator()

   310

        parent.Append(help='', id=wx.ID_ADD,

   311

              kind=wx.ITEM_NORMAL, text=_(u'Add Plugin'))

   312

        parent.Append(help='', id=wx.ID_DELETE,

   313

              kind=wx.ITEM_NORMAL, text=_(u'Delete Plugin'))

   314

        self.Bind(wx.EVT_MENU, self.OnEditPLCMenu, id=wx.ID_EDIT)

   315

        self.Bind(wx.EVT_MENU, self.OnAddMenu, id=wx.ID_ADD)

   316

        self.Bind(wx.EVT_MENU, self.OnDeleteMenu, id=wx.ID_DELETE)

   317

   318

    def _init_coll_RunMenu_Items(self, parent):

   319

        parent.Append(help='', id=ID_BEREMIZRUNMENUBUILD,

   320

              kind=wx.ITEM_NORMAL, text=_(u'Build\tCTRL+R'))

   321

        parent.AppendSeparator()

   322

        parent.Append(help='', id=ID_BEREMIZRUNMENUSIMULATE,

   323

              kind=wx.ITEM_NORMAL, text=_(u'Simulate'))

   324

        parent.Append(help='', id=ID_BEREMIZRUNMENURUN,

   325

              kind=wx.ITEM_NORMAL, text=_(u'Run'))

   326

        parent.AppendSeparator()

   327

        parent.Append(help='', id=ID_BEREMIZRUNMENUSAVELOG,

   328

              kind=wx.ITEM_NORMAL, text=_(u'Save Log'))

   329

        self.Bind(wx.EVT_MENU, self.OnBuildMenu,

   330

              id=ID_BEREMIZRUNMENUBUILD)

   331

        self.Bind(wx.EVT_MENU, self.OnSimulateMenu,

   332

              id=ID_BEREMIZRUNMENUSIMULATE)

   333

        self.Bind(wx.EVT_MENU, self.OnRunMenu,

   334

              id=ID_BEREMIZRUNMENURUN)

   335

        self.Bind(wx.EVT_MENU, self.OnSaveLogMenu,

   336

              id=ID_BEREMIZRUNMENUSAVELOG)

   337

   338

    def _init_coll_HelpMenu_Items(self, parent):

   339

        parent.Append(help='', id=wx.ID_HELP,

   340

              kind=wx.ITEM_NORMAL, text=_(u'Beremiz\tF1'))

   341

        parent.Append(help='', id=wx.ID_ABOUT,

   342

              kind=wx.ITEM_NORMAL, text=_(u'About'))

   343

        self.Bind(wx.EVT_MENU, self.OnBeremizMenu, id=wx.ID_HELP)

   344

        self.Bind(wx.EVT_MENU, self.OnAboutMenu, id=wx.ID_ABOUT)

   345

   346

    def _init_coll_MenuBar_Menus(self, parent):

   347

        parent.Append(menu=self.FileMenu, title=_(u'File'))

   348

        #parent.Append(menu=self.EditMenu, title=u'Edit')

   349

        #parent.Append(menu=self.RunMenu, title=u'Run')

   350

        parent.Append(menu=self.HelpMenu, title=_(u'Help'))

   351

   352

    def _init_utils(self):

   353

        self.MenuBar = wx.MenuBar()

   354

        self.FileMenu = wx.Menu(title=u'')

   355

        #self.EditMenu = wx.Menu(title=u'')

   356

        #self.RunMenu = wx.Menu(title=u'')

   357

        self.HelpMenu = wx.Menu(title=u'')

   358

   359

        self._init_coll_MenuBar_Menus(self.MenuBar)

   360

        self._init_coll_FileMenu_Items(self.FileMenu)

   361

        #self._init_coll_EditMenu_Items(self.EditMenu)

   362

        #self._init_coll_RunMenu_Items(self.RunMenu)

   363

        self._init_coll_HelpMenu_Items(self.HelpMenu)

   364

   365

    def _init_coll_PLCConfigMainSizer_Items(self, parent):

   366

        parent.AddSizer(self.PLCParamsSizer, 0, border=10, flag=wx.GROW|wx.TOP|wx.LEFT|wx.RIGHT)

   367

        parent.AddSizer(self.PluginTreeSizer, 0, border=10, flag=wx.BOTTOM|wx.LEFT|wx.RIGHT)

   368

   369

    def _init_coll_PLCConfigMainSizer_Growables(self, parent):

   370

        parent.AddGrowableCol(0)

   371

        parent.AddGrowableRow(1)

   372

   373

    def _init_coll_PluginTreeSizer_Growables(self, parent):

   374

        parent.AddGrowableCol(0)

   375

        parent.AddGrowableCol(1)

   376

   377

    def _init_sizers(self):

   378

        self.PLCConfigMainSizer = wx.FlexGridSizer(cols=1, hgap=2, rows=2, vgap=2)

   379

        self.PLCParamsSizer = wx.BoxSizer(wx.VERTICAL)

   380

        #self.PluginTreeSizer = wx.FlexGridSizer(cols=3, hgap=0, rows=0, vgap=2)

   381

        self.PluginTreeSizer = wx.FlexGridSizer(cols=2, hgap=0, rows=0, vgap=2)

   382

   383

        self._init_coll_PLCConfigMainSizer_Items(self.PLCConfigMainSizer)

   384

        self._init_coll_PLCConfigMainSizer_Growables(self.PLCConfigMainSizer)

   385

        self._init_coll_PluginTreeSizer_Growables(self.PluginTreeSizer)

   386

   387

        self.PLCConfig.SetSizer(self.PLCConfigMainSizer)

   388

   389

    def _init_ctrls(self, prnt):

   390

        wx.Frame.__init__(self, id=ID_BEREMIZ, name=u'Beremiz',

   391

              parent=prnt, pos=wx.Point(0, 0), size=wx.Size(1000, 600),

   392

              style=wx.DEFAULT_FRAME_STYLE|wx.CLIP_CHILDREN, title=_(u'Beremiz'))

   393

        self._init_utils()

   394

        self.SetClientSize(wx.Size(1000, 600))

   395

        self.SetMenuBar(self.MenuBar)

   396

        self.Bind(wx.EVT_ACTIVATE, self.OnFrameActivated)

   397

        self.Bind(wx.EVT_CLOSE, self.OnCloseFrame)

   398

   399

        self.Bind(wx.EVT_MENU, self.OnOpenWidgetInspector, id=ID_BEREMIZINSPECTOR)

   400

        accel = wx.AcceleratorTable([wx.AcceleratorEntry(wx.ACCEL_CTRL|wx.ACCEL_ALT, ord('I'), ID_BEREMIZINSPECTOR)])

   401

        self.SetAcceleratorTable(accel)

   402

   403

        if wx.VERSION < (2, 8, 0):

   404

            self.MainSplitter = wx.SplitterWindow(id=ID_BEREMIZMAINSPLITTER,

   405

                  name='MainSplitter', parent=self, point=wx.Point(0, 0),

   406

                  size=wx.Size(0, 0), style=wx.SP_3D)

   407

            self.MainSplitter.SetNeedUpdating(True)

   408

            self.MainSplitter.SetMinimumPaneSize(1)

   409

   410

            parent = self.MainSplitter

   411

        else:

   412

            parent = self

   413

   414

        self.PLCConfig = wx.ScrolledWindow(id=ID_BEREMIZPLCCONFIG,

   415

              name='PLCConfig', parent=parent, pos=wx.Point(0, 0),

   416

              size=wx.Size(-1, -1), style=wx.TAB_TRAVERSAL|wx.SUNKEN_BORDER|wx.HSCROLL|wx.VSCROLL)

   417

        self.PLCConfig.SetBackgroundColour(wx.WHITE)

   418

        self.PLCConfig.Bind(wx.EVT_LEFT_DOWN, self.OnPanelLeftDown)

   419

        self.PLCConfig.Bind(wx.EVT_SIZE, self.OnMoveWindow)

   420

   421

        self.LogConsole = wx.TextCtrl(id=ID_BEREMIZLOGCONSOLE, value='',

   422

                  name='LogConsole', parent=parent, pos=wx.Point(0, 0),

   423

                  size=wx.Size(0, 0), style=wx.TE_MULTILINE|wx.TE_RICH2)

   424

        self.LogConsole.Bind(wx.EVT_LEFT_DCLICK, self.OnLogConsoleDClick)

   425

   426

        if wx.VERSION < (2, 8, 0):

   427

            self.MainSplitter.SplitHorizontally(self.PLCConfig, self.LogConsole, -250)

   428

        else:

   429

            self.AUIManager = wx.aui.AuiManager(self)

   430

            self.AUIManager.SetDockSizeConstraint(0.5, 0.5)

   431

   432

            self.AUIManager.AddPane(self.PLCConfig, wx.aui.AuiPaneInfo().CenterPane())

   433

   434

            self.AUIManager.AddPane(self.LogConsole, wx.aui.AuiPaneInfo().

   435

                Caption(_("Log Console")).Bottom().Layer(1).

   436

                BestSize(wx.Size(800, 200)).CloseButton(False))

   437

   438

            self.AUIManager.Update()

   439

   440

        self._init_sizers()

   441

   442

    def __init__(self, parent, projectOpen, buildpath):

   443

        self._init_ctrls(parent)

   444

   445

        self.Log = LogPseudoFile(self.LogConsole)

   446

   447

        self.local_runtime = None

   448

        self.runtime_port = None

   449

        self.local_runtime_tmpdir = None

   450

   451

        # Add beremiz's icon in top left corner of the frame

   452

        self.SetIcon(wx.Icon(Bpath( "images", "brz.ico"), wx.BITMAP_TYPE_ICO))

   453

   454

        self.DisableEvents = False

   455

   456

        self.PluginInfos = {}

   457

   458

        if projectOpen:

   459

            self.PluginRoot = PluginsRoot(self, self.Log)

   460

            self.PluginRoot.LoadProject(projectOpen, buildpath)

   461

            self.RefreshAll()

   462

        else:

   463

            self.PluginRoot = None

   464

   465

        self.RefreshMainMenu()

   466

   467

    def StartLocalRuntime(self, taskbaricon = True):

   468

        if self.local_runtime is None or self.local_runtime.finished:

   469

            # create temporary directory for runtime working directory

   470

            self.local_runtime_tmpdir = tempfile.mkdtemp()

   471

            # choose an arbitrary random port for runtime

   472

            self.runtime_port = int(random.random() * 1000) + 61131

   473

            # launch local runtime

   474

            self.local_runtime = ProcessLogger(self.Log,

   475

                                               "\"%s\" \"%s\" -p %s -i localhost %s %s"%(sys.executable,

   476

                                                           Bpath("Beremiz_service.py"),

   477

                                                           self.runtime_port,

   478

                                                           {False : "-x 0", True :"-x 1"}[taskbaricon],

   479

                                                           self.local_runtime_tmpdir),

   480

                                                           no_gui=False)

   481

            self.local_runtime.spin(timeout=500, keyword = "working", kill_it = False)

   482

        return self.runtime_port

   483

   484

    def KillLocalRuntime(self):

   485

        if self.local_runtime is not None:

   486

            # shutdown local runtime

   487

            self.local_runtime.kill(gently=False)