Lexmark X644E Technical Reference Manual page 208

defaulttimeouts
— defaulttimeouts job manualfeed wait
queries the user default settings of all timeouts. Three integers are returned on
the stack:
• JobTimeout system parameter
disabled (default)
0
seconds
15...65535
• ManualFeedTimeout page device parameter
disabled
0
seconds (default is device dependent)
1...65535
To find the default for your printer, see Table C-2 on page C-4.
• WaitTimeout system parameter
disabled
0
seconds (default is 40 seconds)
15...65535
Error: stackoverflow
deletefile
filename 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-15
PostScript