From 84fcb446459163fcf01a46152c8b88b57c092e2a Mon Sep 17 00:00:00 2001
From: pauget <none>
Date: Mon, 11 Oct 2004 22:37:56 +0200
Subject: [PATCH] Rien  faire si restart_cmd vide.

darcs-hash:20041011203756-41617-a79d5d2fd666bbd3d14f290c3667b6b69ffa4b72.gz
---
 gestion/gen_confs/__init__.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gestion/gen_confs/__init__.py b/gestion/gen_confs/__init__.py
index 78a894c8..ca5a303b 100755
--- a/gestion/gen_confs/__init__.py
+++ b/gestion/gen_confs/__init__.py
@@ -117,6 +117,7 @@ class gen_config :
 	
     def restart(self) :
 	""" Redémarrage du service concerné """
+	if not self.restart_cmd : return
 	self.lock()
 	self.anim = anim('\trestart')
 	status, output = commands.getstatusoutput(self.restart_cmd)