[Mauiusers] Maui is unexpectedly down

[mcgregor at fnal.gov]

I did two things. Firstly I installed monit (http://www.tildeslash.com/monit/) to monitor maui and other critial services as a safetly net. I also made the following changes to maui's config:

RMCFG[head node] TIMEOUT=30
JOBAGGREGATIONTIME    00:00:10
RMPOLLINTERVAL        00:02:30
 
which I think I just had as defaults before.

So far (since July 29th) monit has not had to restart maui, so perhaps these changes did the trick.

Gordon.