Utilites/pause.py

   1 # -*- coding: utf-8 -*-
   2 """
   3 Module pause
   4 ------------
   5     le module pause propose la fonction PAUSE pour effectuer
   6     une attente.
   7 """
   8 try :
   9         from developpeur import DEVELOPPEUR
  10 except :
  11         DEVELOPPEUR=None
  12
  13 def NULL( *l_args, **d_args  ) : pass
  14
  15 if DEVELOPPEUR :
  16
  17     import developpeur
  18     developpeur.sortie.write( "import de "+__name__+" : $Id: pause.py,v 1.2 2003/03/06 14:36:12 eficas Exp $" )
  19     developpeur.sortie.write( "\n" )
  20
  21     import sys
  22     import ici
  23
  24     def PAUSE( secondes ) :
  25
  26         """
  27
  28         Fonction PAUSE
  29         ----------------
  30         La fonction PAUSE permet d'interrompre le traitement pendant un délai
  31         passé en argument. La localisation de l'appel est tracée sur la stderr
  32
  33         Usage :
  34             from pause import PAUSE
  35
  36             PAUSE(secondes=5)
  37         """
  38
  39         if secondes > 0 :
  40             developpeur.sortie.write( "\n\n\n" )
  41             ici.ICI()
  42
  43             developpeur.sortie.write( "pause de "+str(secondes)+" secondes" )
  44             developpeur.sortie.write( "\n\n\n" )
  45             developpeur.sortie.flush()
  46
  47             import time
  48             time.sleep( secondes )
  49
  50         developpeur.sortie.flush()
  51
  52         return
  53
  54 else :
  55     PAUSE = NULL
  56
  57
  58 if __name__ == "__main__" :
  59     print
  60     print "PAUSE(secondes=-1)"
  61     PAUSE(secondes=-1)
  62     print "PAUSE(secondes=0)"
  63     PAUSE(secondes=0)
  64     print "PAUSE(secondes=2)"
  65     PAUSE(secondes=2)