Add Server update event to Browser

This commit is contained in:
2020-06-13 21:24:07 -05:00
parent f80d1e2ee9
commit 64e1cc787f
+7
View File
@@ -13,6 +13,7 @@ namespace QSharp
public ObservableCollection<QServer> servers = new ObservableCollection<QServer>(); public ObservableCollection<QServer> servers = new ObservableCollection<QServer>();
public event QServerFoundHandler ServerFound; public event QServerFoundHandler ServerFound;
public event QServerUpdatedHandler ServerUpdatedWorkspaces;
public QBrowser() public QBrowser()
{ {
@@ -46,6 +47,7 @@ namespace QSharp
serverToAdd.zeroconfHost = e; serverToAdd.zeroconfHost = e;
servers.Add(serverToAdd); servers.Add(serverToAdd);
serverToAdd.refreshWorkspaces(); serverToAdd.refreshWorkspaces();
serverToAdd.ServerUpdated += OnServerUpdatedWorkspace;
OnServerFound(serverToAdd); OnServerFound(serverToAdd);
} }
else else
@@ -88,6 +90,11 @@ namespace QSharp
ServerFound?.Invoke(this, new QServerFoundArgs { server = server }); ServerFound?.Invoke(this, new QServerFoundArgs { server = server });
} }
protected virtual void OnServerUpdatedWorkspace(object source, QServerUpdatedArgs args)
{
ServerUpdatedWorkspaces?.Invoke(this, args);
}
public void Close() public void Close()
{ {
foreach(var server in servers) foreach(var server in servers)