patch by Giacomo Magnini <giacomo.magnini@portalis.it>, r=db48x, sr=Neil git-svn-id: svn://10.0.0.236/trunk@209047 18797224-902f-48f8-a5cc-f745e15eee43
patch by Giacomo Magnini <giacomo.magnini@portalis.it>, r=db48x, sr=Neil git-svn-id: svn://10.0.0.236/trunk@209047 18797224-902f-48f8-a5cc-f745e15eee43