PatR 32b69f5c33
avoid #wizrumorcheck crash on bad rumor input ...
If either rumors.tru or rumors.fal was empty when makedefs made
'rumors', init_rumors() will set true_rumor_size to -1 to indicate
that rumors aren't available. It also closes the input file, and
then #wizrumorcheck closed that again, triggering a crash in the
dlb code.
Fortune cookies and oracles work ok (just not very interesting)
when rumors aren't available. Only the check command had trouble
with that.
2020-03-05 13:55:45 -08:00
2018-11-11 10:29:52 -05:00
2019-01-08 13:56:59 -08:00
2019-11-03 17:59:39 -08:00
2018-04-25 16:54:50 -04:00
2020-01-14 11:50:59 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 11:51:14 -05:00
2018-09-21 16:36:38 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 18:12:42 -07:00
2019-05-09 17:15:14 -07:00
2019-12-03 23:32:12 -05:00
2020-01-13 15:30:23 -05:00
2020-01-27 18:11:43 -05:00
2020-03-05 13:55:45 -08:00
2020-03-04 10:41:57 -05:00
2020-03-04 10:41:57 -05:00
2020-03-04 11:43:14 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 11:51:36 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 11:52:00 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 11:55:45 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 11:55:59 -05:00
2019-11-09 10:57:25 -05:00
2020-01-14 11:52:19 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 11:52:38 -05:00
2018-09-20 18:02:48 -04:00
2019-11-14 08:20:38 -05:00
2019-11-30 13:35:14 -05:00
32b69f5c33