Hi there,
I am trying to understand how xdrlib works as I want to read files in this
format. The problem is I don't much about xdr (although I read
http://docs.python.org/library/xdrlib.html and RFC 1832).
Another problem is I don't know how the file I want to read was encoded.
So when I do
Ok:
Here goes the code again and results:
from __future__ import print_function
import os, subprocess, signal
def signal_handler( signum, frame ):
print( PID: %s % pid )
print( Timed out! Process %s killed, max exec time (%ss) exceeded %
(pid, timeTol ) )
os.kill( int( pid ), 15 )
