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);
}
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);
}
