4 le module pause propose la fonction PAUSE pour effectuer
8 from developpeur import DEVELOPPEUR
12 def NULL( *l_args, **d_args ) : pass
17 developpeur.sortie.write( "import de "+__name__+" : $Id$" )
18 developpeur.sortie.write( "\n" )
23 def PAUSE( secondes ) :
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
33 from pause import PAUSE
39 developpeur.sortie.write( "\n\n\n" )
42 developpeur.sortie.write( "pause de "+str(secondes)+" secondes" )
43 developpeur.sortie.write( "\n\n\n" )
44 developpeur.sortie.flush()
47 time.sleep( secondes )
49 developpeur.sortie.flush()
57 if __name__ == "__main__" :
59 print "PAUSE(secondes=-1)"
61 print "PAUSE(secondes=0)"
63 print "PAUSE(secondes=2)"