1 # -*- coding: utf-8 -*-
5 le module pause propose la fonction PAUSE pour effectuer
9 from developpeur import DEVELOPPEUR
13 def NULL( *l_args, **d_args ) : pass
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" )
24 def PAUSE( secondes ) :
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
34 from pause import PAUSE
40 developpeur.sortie.write( "\n\n\n" )
43 developpeur.sortie.write( "pause de "+str(secondes)+" secondes" )
44 developpeur.sortie.write( "\n\n\n" )
45 developpeur.sortie.flush()
48 time.sleep( secondes )
50 developpeur.sortie.flush()
58 if __name__ == "__main__" :
60 print "PAUSE(secondes=-1)"
62 print "PAUSE(secondes=0)"
64 print "PAUSE(secondes=2)"