comparison m_property.h @ 33268:445a104bfb0f

Instead of exit_player(), exit with appropriate return code. This closes Bugzilla #574.
author ib
date Tue, 03 May 2011 14:03:03 +0000
parents c1a3f1bbba26
children 87a1b3a11b33
comparison
equal deleted inserted replaced
33267:5a2452e3404e 33268:445a104bfb0f