|
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)