Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
# This is the `rcfiles/channel.py' file of GNU eev. # Author and version: Eduardo Ochs, 2005jan07 # This file is in the Public Domain. # Usage: # import os # execfile(os.getenv('EEVRCDIR')+'/channel.py', globals()); # This is very new (2005jan03) and I don't know python, so... :) Edrx # See: (find-eevex "python.e" "channel.py") import signal, time, os channel = os.getenv('EECHANNEL') or 'python' pidfile = os.getenv('EEVTMPDIR') + '/eeg.' + channel + '.pid' strfile = os.getenv('EEVTMPDIR') + '/eeg.' + channel + '.str' fhandle = open (pidfile, 'w') fhandle.write (str(os.getpid()) + '\n') fhandle.close () def signal_handler (num, frame): execfile(strfile, globals()); signal.signal (signal.SIGUSR1, signal_handler)