diff --git a/frappyman.py b/frappyman.py index ba0eb4e..589b04c 100644 --- a/frappyman.py +++ b/frappyman.py @@ -429,4 +429,3 @@ class FrappyManager(ServiceManager): sea_info = {} self.all_cfg(ins, None, sea_info=sea_info) return summarize_server_state(givencfgs, ourcfgs, seacfgs, sea_info) - diff --git a/seaman.py b/seaman.py index 7bdcfd1..e720825 100644 --- a/seaman.py +++ b/seaman.py @@ -107,7 +107,10 @@ class SeaManager(ServiceManager): if sea_server_src and exists(sea_server_src): if os.system('diff %s SeaServer' % sea_server_src): print('reload SeaServer') - os.rename('SeaServer', 'SeaServer0') + try: + os.rename('SeaServer', 'SeaServer0') + except Exception: + pass os.system('cp %s ./' % sea_server_src) return start_dir, env