From: Martin DeMello <martindemello@...>
Date: 2004-08-20T03:45:53+09:00
Subject: win32 tip

Since it took me many frustrating hours of trial and error to figure out
why something that worked perfectly from the dos prompt didn't work when
I called it via system() I figured I'd share the gained experience:

When using system() to run a batch file, you need to explicitly put in
the .bat extension. That is all.

martin