Improved error reporting in texmanager and backend_ps
Authored by: dsdale 2005-07-29
Parent: [r1571]
Child: [r1573]