Utilites/pause.py

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