[@maphew Member 17 years, 9 months ago]

pravin: many many thanks for your efforts. It is much appreciated.

Unfortunately it appears this might all be for naught. I just learned Sourceforge has disabled cron indefinately: “As of 2007-06-12 the cron service provided under the project shell service has been disabled. Ongoing systems problems have forced us to pull it offline until a suitable replacement can be developed. Accordingly, no estimate for when we’ll restore service is being provided.” – https://sourceforge.net/docs/A04

https://sourceforge.net/tracker/?func=detail&atid=200001&aid=1736741&group_id=1

sigh.

Still, at least I can periodically ssh in and run the trigger script from the command line once or twice a day, so it’s not completely irrelevant.