From 09111d4ddbd63d093a82a59372ae00815af48fd8 Mon Sep 17 00:00:00 2001
From: chove <none>
Date: Thu, 17 Mar 2005 01:49:23 +0100
Subject: [PATCH] espacement

darcs-hash:20050317004923-4ec08-7510bda6d4f0e3045766b11f228f20745dec420f.gz
---
 gestion/gest_crans.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gestion/gest_crans.py b/gestion/gest_crans.py
index 1dde4e24..2dd5cd0f 100755
--- a/gestion/gest_crans.py
+++ b/gestion/gest_crans.py
@@ -1858,7 +1858,7 @@ Subject: Bugreport %s
         # Restart toutes les 10 min : 03, 13, 23, 33, 43, 53
         t = ( 13 - mn % 10 ) % 10 + 4 # On prend en plus une marge de 4 min
         if t == 0 : t = 10
-        print "Les modifications apportées à la base seront prises en compte dans %imin environ." % t
+        print "Les modifications apportées à la base seront prises en compte dans %i min environ." % t
         if debug :
             print "Les services suivants seront redémarrés: "
             print ', '.join(serv.keys())