Changeset 947
- Timestamp:
- 01/20/14 14:23:53 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/1.1/jobmond/jobmond.py
r946 r947 1797 1797 self.cur_time = time.time() 1798 1798 1799 except PBSError, detail:1799 except (PBSError, TypeError), detail: 1800 1800 1801 1801 debug_msg( 10, "PBS server unavailable, skipping until next polling interval: " + str( detail ) )
Note: See TracChangeset
for help on using the changeset viewer.