オプションの名前を変えたとき、古い名前の設定を含む prf ファイルを最後まで

読み込まずに問題を起すので、オプション設定行のエラーで読み込みを止めずに
単に無視するように修正。

diff --git a/src/files.c b/src/files.c
index 096936a..2989f1c 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -593,6 +593,11 @@ errr process_pref_file_command(char *buf)
                                return (0);
                        }
                }
+
+               /* don't know that option. ignore it.*/
+               msg_format("Ignored wrong option %s.", buf+2);
+               msg_print(NULL);
+               return 0;
        }
 
        /* Process "Y:<str>" -- turn option on */
@@ -614,6 +619,11 @@ errr process_pref_file_command(char *buf)
                                return (0);
                        }
                }
+
+               /* don't know that option. ignore it.*/
+               msg_format("Ignored wrong option %s.", buf+2);
+               msg_print(NULL);
+               return 0;
        }
 
        /* Process "Z:<type>:<str>" -- set spell color */