Update Workspace.js

This commit is contained in:
Luis Fernando Molina committed 2020-09-25 18:22:08 +02:00
1 parent 584b721a86
commit 80cd7cf54c
1 file changed
+6 -5
+6 -5
View File
@@ -136,8 +136,7 @@ function newWorkspace() {
function runTasksAndSessions(replacingCurrentWorkspace) {
if (replacingCurrentWorkspace === true) {
// We need to wait all tasks that were potentially running to stop
setTimeout(functionLibraryUiObjectsFromNodes.syncronizeTasksFoundAtWorkspaceWithBackEnd, 70000)
functionLibraryUiObjectsFromNodes.syncronizeTasksFoundAtWorkspaceWithBackEnd(functionLibraryTaskFunctions)
// We give a few seconds for the tasks to start
setTimeout(functionLibraryUiObjectsFromNodes.runSessions, 80000)
// We give a few seconds
@@ -294,9 +293,11 @@ function newWorkspace() {
workingAtTask++
break
case 5:
functionLibraryUiObjectsFromNodes.recreateWorkspace(thisObject.workspaceNode)
setupEventsServerClients()
runTasksAndSessions(true)
functionLibraryUiObjectsFromNodes.recreateWorkspace(thisObject.workspaceNode, finishInitialization)
function finishInitialization(){
setupEventsServerClients()
runTasksAndSessions(true)
}
workingAtTask++
break
case 6: