id resolution summary owner reporter 39 fixed Wrong number of free nodes reported bastiaans aloga@… 40 fixed Jobmond dies when monitoring a number of jobs > number of processors bastiaans anonymous 42 fixed remove php5 function and add seperate databases per cluster bastiaans bastiaans