From 7a5988bfd7fc9b74dc8dc7e0421bc7ef3c65f4f8 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 15 May 2012 14:49:33 +0200
Subject: [PATCH] stop sfa before cleaning up - might lock the db otherwise

---
 system/macros.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/macros.py b/system/macros.py
index 9f6cebd..f37aae3 100644
--- a/system/macros.py
+++ b/system/macros.py
@@ -7,9 +7,9 @@ sequences={}
 sequences['free_all'] = [ 'vs_stop', 'qemu_kill_mine', ]
 
 sequences['sfa_restart'] = [
+    'sfa_stop',
     'sfa_plcclean',
     'sfa_dbclean',
-    'sfa_stop',
     'sfa_configure',
     'sfa_start',
     'sfa_import',
-- 
2.43.0