>    sys.stdin  = sys.__stdin__  = open('/dev/null','r')
>    sys.stdout = sys.__stdout__ = open('/dev/null','w')
>    sys.stdout = sys.__stderr__ = os.dup(sys.stdout.fileno())

I think, the problem in the above line of code. os.dup returns file
descriptor, which is an integer.

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"web.py" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/webpy?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to