class environment:
""" A class representing the environment """
def __init__(self, case=None):
self._flag = FlagFramework.Flag()
self._FS = None
self.CWD = '/'
self._CASE = case
self.interactive = True
def __init__(self):
""" GTKServer Main Function
Initialise framework and draw main window """
self.form_dialog = None
gtk.Window.__init__(self)
# initialize flag
self.flag = FlagFramework.Flag()
FlagFramework.GLOBAL_FLAG_OBJ = self.flag
self.flag.ui = GTKUI.GTKUI
# set some window properties
self.set_title('PyFLAG')
self.set_icon_from_file('%s/pyflag_logo.png' % config.IMAGEDIR)
self.set_default_size(800, 600)
self.connect('destroy', lambda x: gtk.main_quit())
# these are the MAIN ELEMENTS of the GTKServer
self.vbox = gtk.VBox()
self.uimanager = gtk.UIManager()
self.toolhandlebox = gtk.HandleBox()
self.toolhbox = gtk.HBox()
self.toolhandlebox.add(self.toolhbox)
self.ftoolbar = FlagServerToolbar(self.toolhbox)
self.notebook = FlagServerNotebook(
self.flag.ui(server=self, ftoolbar=self.ftoolbar))
## have to build the ui at this point...
self.build_flag_menu()
self.menubar = self.uimanager.get_widget('/Menubar')
self.statusbar = gtk.Statusbar()
# pack these to arrange the UI
self.add_accel_group(self.uimanager.get_accel_group())
self.add(self.vbox)
self.vbox.pack_start(self.menubar, False)
# put the toolbar in a HBox with a case selector
hbox = gtk.HBox()
self.case_selector_combo = self.case_selector()
hbox.pack_start(self.case_selector_combo, False)
hbox.pack_start(self.toolhandlebox)
self.toolhbox.show_all()
self.vbox.pack_start(hbox, False)
self.vbox.pack_start(self.notebook, True, True)
self.vbox.pack_end(self.statusbar, False)
self.show_all()
Registry.Init()
config.add_option(
"info",
default=False,
action='store_true',
help="Print information about this pyflag installation and exit")
## Parse all the command line options:
config.parse_options()
if config.info:
print FlagFramework.print_info()
sys.exit(0)
flag = FlagFramework.Flag()
FlagFramework.GLOBAL_FLAG_OBJ = flag
#Set the UI module to produce HTML
if config.THEME == "AJAX":
import pyflag.AJAXUI as AJAXUI
UI.UI = AJAXUI.AJAXUI
elif config.THEME == "XML":
import pyflag.XMLUI as XMLUI
UI.UI = XMLUI.XMLUI
else:
import pyflag.HTMLUI as HTMLUI
UI.UI = HTMLUI.HTMLUI
## Start the workers
import pyflag.Farm as Farm
Farm.start_workers()
