Example #1
0
        public PuppetMasterMain()
        {
            InitializeComponent();
            // Initialize Log
            this.log = new PuppetMasterLog();
            this.log.Show();
            // Element details
            this.componentSelectionBox.SelectedIndex = METADATA;
            this.semanticsSelectionBox.SelectedIndex = 0;
            // Connection details
            TcpChannel channel = new TcpChannel(8080);
            ChannelServices.RegisterChannel(channel, true);

            AppDomain currentDomain = AppDomain.CurrentDomain;
            currentDomain.UnhandledException += new UnhandledExceptionEventHandler(ExceptionHandler);
        }
Example #2
0
        public PuppetMasterMain()
        {
            InitializeComponent();
            // Initialize Log
            this.log = new PuppetMasterLog();
            this.log.Show();
            // Element details
            this.componentSelectionBox.SelectedIndex = METADATA;
            this.semanticsSelectionBox.SelectedIndex = 0;
            // Connection details
            TcpChannel channel = new TcpChannel(8080);

            ChannelServices.RegisterChannel(channel, true);

            AppDomain currentDomain = AppDomain.CurrentDomain;

            currentDomain.UnhandledException += new UnhandledExceptionEventHandler(ExceptionHandler);
        }