Switched from os.devnull to devnull from relax_io.open_write_file().
Authored by: semor 2008-07-08
Parent: [r6839]
Child: [r6841]
