platforms. Thanks to fraioli@dg-rtp.dg.com (Marc J. Fraioli) for providing the patch. git-svn-id: svn://10.0.0.236/trunk@11685 18797224-902f-48f8-a5cc-f745e15eee43
platforms. Thanks to fraioli@dg-rtp.dg.com (Marc J. Fraioli) for providing the patch. git-svn-id: svn://10.0.0.236/trunk@11685 18797224-902f-48f8-a5cc-f745e15eee43