diff options
Diffstat (limited to 'www/aria/files/patch-src__gui_main.cc')
-rw-r--r-- | www/aria/files/patch-src__gui_main.cc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/www/aria/files/patch-src__gui_main.cc b/www/aria/files/patch-src__gui_main.cc new file mode 100644 index 000000000000..7e5f03800dfa --- /dev/null +++ b/www/aria/files/patch-src__gui_main.cc @@ -0,0 +1,13 @@ +--- src/gui_main.cc.orig Thu Dec 19 00:41:05 2002 ++++ src/gui_main.cc Thu Apr 8 22:41:14 2004 +@@ -830,8 +830,8 @@ + */ + ifstream infile(filename.c_str(), ios::in); + map<string, string> guiInfoMap; +- if(infile.bad()) return false; +- ++ if(!infile.is_open() || infile.bad()) return false; ++ + if(infile.eof()) return false; + while(!infile.eof()) { + string line; |