Second patch works correctly on Ubuntu 12.04 and Windows 7. Committed to trunk as r11660.
Thanks for the patch Craig !
Second patch works correctly on Ubuntu 12.04 and Windows 7.
Committed to trunk as r11660.
Thanks for the patch Craig !