push restart after recovery in case there is habitual server error

2026-08-01 02:44:21 +02:00 · 2012-11-16 17:16:06 -05:00
parent f00a668e38
commit 72501d04bf
1 changed files with 1 additions and 0 deletions
@@ -782,6 +782,7 @@ LogLevel warn \n\
            fd.close()
            if len(files) != 0:
                self.revert_config(files)
                self.restart()
    def standardize_excl(self):
        '''