demo/GDATEXAMPLE/gen_feed.py

   1 import os
   2 import time
   3
   4 while True:
   5         while os.path.isfile("exampleGdat"):
   6                 time.sleep(1)
   7         os.system("cp example.gdat exampleGdatX ; mv exampleGdatX exampleGdat")
   8         time.sleep(1)
   9