Lexmark X422 Technical Reference Manual page 200

defaulttimeouts
queries the user default settings of all timeouts. Three integers are returned on
the stack:
• JobTimeout system parameter
disabled (default)
seconds
• ManualFeedTimeout page device parameter
disabled
seconds (default is device dependent)
To find the default for your printer, see Table C-2 on page C-4.
• WaitTimeout system parameter
disabled
seconds (default is 40 seconds)
Error: stackoverflow
deletefile
deletes the specified file from the disk. This operator is in systemdict.
Errors: invalidfileaccess, ioerror, stackunderflow, typecheck,
undefinedfilename
Note: An undefinedfilename error occurs if the file does not exist.
4-26
PostScript