log.info for global explorers (may also take some time)
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								0d441eb378
							
						
					
				
			
			
				commit
				
					
						db6fdeebfe
					
				
			
		
					 1 changed files with 1 additions and 0 deletions
				
			
		| 
						 | 
					@ -97,6 +97,7 @@ class ConfigInstall(object):
 | 
				
			||||||
    def run_global_explorers(self):
 | 
					    def run_global_explorers(self):
 | 
				
			||||||
        """Run global explorers and save output"""
 | 
					        """Run global explorers and save output"""
 | 
				
			||||||
        # FIXME: move to explorer, pass global_explorer_out_path as argument
 | 
					        # FIXME: move to explorer, pass global_explorer_out_path as argument
 | 
				
			||||||
 | 
					        self.log.info("Running global explorers")
 | 
				
			||||||
        self.explorer.transfer_global_explorers()
 | 
					        self.explorer.transfer_global_explorers()
 | 
				
			||||||
        for explorer in self.explorer.list_global_explorer_names():
 | 
					        for explorer in self.explorer.list_global_explorer_names():
 | 
				
			||||||
            output = self.explorer.run_global_explorer(explorer)
 | 
					            output = self.explorer.run_global_explorer(explorer)
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue