diff options
| author | edwin <edwin@FreeBSD.org> | 2004-01-10 15:28:04 +0800 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2004-01-10 15:28:04 +0800 |
| commit | 3d5038963d8393cb826a677c487dbba22b894a10 (patch) | |
| tree | 1bd35df846d8e1e1a52506ee4b89075ff845a56c /games | |
| parent | 84b511cc00aa9cff97b07b925ea981c50860a542 (diff) | |
| download | freebsd-ports-gnome-3d5038963d8393cb826a677c487dbba22b894a10.tar.gz freebsd-ports-gnome-3d5038963d8393cb826a677c487dbba22b894a10.tar.zst freebsd-ports-gnome-3d5038963d8393cb826a677c487dbba22b894a10.zip | |
games/falconseye can't save games or bones files
after a few minutes of play it becomes very unlikely that you
can save the game. freopen fails. this problem is discussed at
http://pub78.ezboard.com/fnethackfalconseyefrm2.showMessage?topicID=44.topic
PR: ports/48130
Submitted by: tom <tom@uffner.com>
Approved by: maintainer timeout (and that of me complained about it :-)
Diffstat (limited to 'games')
| -rw-r--r-- | games/falconseye/Makefile | 1 | ||||
| -rw-r--r-- | games/falconseye/files/patch-win_jtp_jtp_sdl.c | 15 |
2 files changed, 16 insertions, 0 deletions
diff --git a/games/falconseye/Makefile b/games/falconseye/Makefile index d58cdc3ec22a..3ddafc9160cb 100644 --- a/games/falconseye/Makefile +++ b/games/falconseye/Makefile @@ -7,6 +7,7 @@ PORTNAME= falconseye PORTVERSION= 1.9.3 +PORTREVISION= 1 CATEGORIES= games MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= falconseye diff --git a/games/falconseye/files/patch-win_jtp_jtp_sdl.c b/games/falconseye/files/patch-win_jtp_jtp_sdl.c new file mode 100644 index 000000000000..cdf12b2f90e0 --- /dev/null +++ b/games/falconseye/files/patch-win_jtp_jtp_sdl.c @@ -0,0 +1,15 @@ +*** win/jtp/jtp_sdl.c.orig Sat Feb 8 17:23:47 2003 +--- win/jtp/jtp_sdl.c Sat Feb 8 17:32:00 2003 +*************** +*** 130,136 **** +--- 130,139 ---- + if (sig_id == SIGCHLD) + { + if (jtp_sdl_music_player_pid > 0) ++ { + kill(jtp_sdl_music_player_pid, SIGKILL); ++ waitpid(jtp_sdl_music_player_pid, NULL, 0); ++ } + jtp_sdl_music_player_pid = -1; + } + } |