comparison clean @ 1438:a7a0ef3c6858

Added timing printout on VM shutdown.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 25 Oct 2010 18:35:34 +0200
parents 6223633ce7dd
children
comparison
equal deleted inserted replaced
1437:9e5e83ca2259 1438:a7a0ef3c6858