diff osdep/mmap_anon.c @ 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 321e9ea69b9f
children 08a90b0e44e1
line wrap: on
line diff