internal override void RestartBackend()
{
// The backend process needs to be restarted.
// This is done in background.
ThreadPool.QueueUserWorkItem (delegate {
try {
// Start the new backend
ApplicationBackendController newController = new ApplicationBackendController (this, channelId);
newController.StartBackend ();
Gtk.Application.Invoke (newController, EventArgs.Empty, OnNewBackendStarted);
} catch {
// FIXME: show an error message
}
});
}