| 
														
															@@ -108,7 +108,7 @@ pipeline { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                            """ 
														 | 
														
														 | 
														
															                            """ 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     } 
														 | 
														
														 | 
														
															                     } 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
														
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-                        timeout(time: 20 as Integer, unit: 'MINUTES') { 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+                        timeout(time: 10 as Integer, unit: 'MINUTES') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             HELIXNAMES.each { key, value ->  
														 | 
														
														 | 
														
															                             HELIXNAMES.each { key, value ->  
														 | 
													
												
											
												
													
														| 
														 | 
														
															                                 if (value.idtask) { 
														 | 
														
														 | 
														
															                                 if (value.idtask) { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                                     echo "Syncing dictionaries for $key" 
														 | 
														
														 | 
														
															                                     echo "Syncing dictionaries for $key" 
														 | 
													
												
											
										
											
												
													
														 | 
														
															@@ -159,7 +159,7 @@ pipeline { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                            """ 
														 | 
														
														 | 
														
															                            """ 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     } 
														 | 
														
														 | 
														
															                     } 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
														
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-                        timeout(time: 20 as Integer, unit: 'MINUTES') { 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+                        timeout(time: 10 as Integer, unit: 'MINUTES') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             HELIXNAMES.each { key, value ->  
														 | 
														
														 | 
														
															                             HELIXNAMES.each { key, value ->  
														 | 
													
												
											
												
													
														| 
														 | 
														
															                                 echo "Syncing $key" 
														 | 
														
														 | 
														
															                                 echo "Syncing $key" 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                                 log_dir = log_dir.replace("/", "\\") 
														 | 
														
														 | 
														
															                                 log_dir = log_dir.replace("/", "\\") 
														 | 
													
												
											
										
											
												
													
														 | 
														
															@@ -210,7 +210,7 @@ pipeline { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                            """ 
														 | 
														
														 | 
														
															                            """ 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     } 
														 | 
														
														 | 
														
															                     } 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
														
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-                        timeout(time: 20 as Integer, unit: 'MINUTES') { 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+                        timeout(time: 10 as Integer, unit: 'MINUTES') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             HELIXNAMES.each { key, value ->  
														 | 
														
														 | 
														
															                             HELIXNAMES.each { key, value ->  
														 | 
													
												
											
												
													
														| 
														 | 
														
															                                 echo "Syncing $key" 
														 | 
														
														 | 
														
															                                 echo "Syncing $key" 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                                 log_dir = log_dir.replace("/", "\\") 
														 | 
														
														 | 
														
															                                 log_dir = log_dir.replace("/", "\\") 
														 | 
													
												
											
										
											
												
													
														 | 
														
															@@ -246,7 +246,7 @@ pipeline { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             wget -P /services/$GEMOTEST.dir --user="$GEMOTEST.user" --password="$GEMOTEST.pass" $FTP.gemotest' 
														 | 
														
														 | 
														
															                             wget -P /services/$GEMOTEST.dir --user="$GEMOTEST.user" --password="$GEMOTEST.pass" $FTP.gemotest' 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                        """ 
														 | 
														
														 | 
														
															                        """ 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
														
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-                        timeout(time: 20 as Integer, unit: 'MINUTES') { 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+                        timeout(time: 10 as Integer, unit: 'MINUTES') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             echo "Syncing dictionaries for Gemotest" 
														 | 
														
														 | 
														
															                             echo "Syncing dictionaries for Gemotest" 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             def log_dir = GEMOTEST.dir.replace("Files", "LOGS") 
														 | 
														
														 | 
														
															                             def log_dir = GEMOTEST.dir.replace("Files", "LOGS") 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             log_dir = log_dir.replace("/", "\\") 
														 | 
														
														 | 
														
															                             log_dir = log_dir.replace("/", "\\") 
														 | 
													
												
											
										
											
												
													
														 | 
														
															@@ -278,7 +278,7 @@ pipeline { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             wget -P /services/$CMD.dir --user=$CMD.user --password=$CMD.pass $FTP.cmd' 
														 | 
														
														 | 
														
															                             wget -P /services/$CMD.dir --user=$CMD.user --password=$CMD.pass $FTP.cmd' 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                        """ 
														 | 
														
														 | 
														
															                        """ 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
														
														 | 
														
															                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-                        timeout(time: 20 as Integer, unit: 'MINUTES') { 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+                        timeout(time: 10 as Integer, unit: 'MINUTES') { 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             echo "Syncing dictionaries for CMD" 
														 | 
														
														 | 
														
															                             echo "Syncing dictionaries for CMD" 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             def log_dir = CMD.dir.replace("Files", "LOGS") 
														 | 
														
														 | 
														
															                             def log_dir = CMD.dir.replace("Files", "LOGS") 
														 | 
													
												
											
												
													
														| 
														 | 
														
															                             log_dir = log_dir.replace("/", "\\") 
														 | 
														
														 | 
														
															                             log_dir = log_dir.replace("/", "\\") 
														 |