Object Explorer: Refresh OE node if database restored (#607)

* refresh OE node if restored

* refresh OE when task is completed

* check task id for restore
This commit is contained in:
Aditya Bist
2018-02-09 16:13:21 -08:00
committed by GitHub
parent 3b7ff61000
commit 959b4fbab5
3 changed files with 38 additions and 6 deletions

View File

@@ -63,6 +63,8 @@ export interface IObjectExplorerService {
isFocused(): boolean;
onSelectionOrFocusChange: Event<void>;
getServerTreeView(): ServerTreeView;
}
interface SessionStatus {
@@ -417,4 +419,8 @@ export class ObjectExplorerService implements IObjectExplorerService {
public isFocused(): boolean {
return this._serverTreeView.isFocused();
}
public getServerTreeView() {
return this._serverTreeView;
}
}