Mike Williams 9304607624 TOOL_EVENT: make command string non-optional
We're getting segfaults in places where this isn't checked. Also, add
some asserts so we can catch bad tool push/pop.

Removes all uses of GetCommandStr() and makes it private.
2022-09-19 10:23:09 -04:00
..
2022-09-12 11:11:49 -04:00
2022-08-27 23:58:13 +01:00
2021-09-07 15:18:42 -04:00
2022-09-16 04:38:10 +00:00
2022-09-16 21:09:01 -04:00
2022-01-14 17:12:24 -08:00
2019-12-08 08:57:33 -08:00
2022-01-01 11:30:33 -05:00
2022-09-19 11:18:20 +01:00
2022-08-31 17:19:50 +01:00
2021-10-05 19:46:53 -07:00
2022-08-31 17:19:50 +01:00
2022-02-25 13:05:49 +00:00
2020-12-18 09:04:26 -05:00
2021-08-31 15:04:31 +01:00
2021-10-05 19:46:53 -07:00
2022-09-19 11:18:20 +01:00
2022-08-31 23:57:24 +01:00
2022-09-16 04:38:10 +00:00
2022-09-14 22:28:09 +00:00
2022-09-19 11:18:20 +01:00
2022-06-24 22:59:24 +00:00
2020-12-19 13:55:28 -05:00
2022-02-09 17:04:32 +00:00
2022-06-09 19:29:57 +00:00
2022-08-31 23:57:24 +01:00
2022-09-09 09:17:26 -04:00
2022-08-31 23:57:24 +01:00
2021-10-05 19:46:53 -07:00
2021-10-05 19:46:53 -07:00
2022-07-14 11:37:45 -07:00
2021-10-05 19:46:53 -07:00
2021-09-14 23:45:14 +01:00
2022-07-13 19:25:24 -07:00
2022-08-27 18:47:39 -04:00
2022-06-22 08:55:44 -07:00
2020-12-19 18:29:10 -05:00
2020-12-19 18:29:10 -05:00
2021-10-05 19:46:53 -07:00
2022-02-09 17:04:32 +00:00
2022-08-31 17:19:50 +01:00
2022-02-26 22:56:10 +00:00
2022-02-09 17:04:32 +00:00
2020-12-19 18:29:10 -05:00
2020-12-19 18:29:10 -05:00
2022-04-24 23:54:01 +01:00
2021-07-29 16:03:25 +01:00
2022-02-21 13:08:29 -05:00
2022-08-31 17:18:45 +01:00
2020-12-19 18:29:10 -05:00
2022-04-12 10:08:34 -04:00
2020-12-21 10:18:10 -05:00
2021-12-15 12:52:08 -08:00
2020-12-21 10:18:10 -05:00
2020-12-21 10:18:10 -05:00
2022-09-16 04:38:10 +00:00
2021-10-05 19:46:53 -07:00
2021-06-23 23:55:54 +01:00
2020-12-21 10:18:10 -05:00
2020-12-21 10:18:10 -05:00
2020-12-21 10:18:10 -05:00
2020-12-21 10:18:10 -05:00
2020-12-21 10:18:10 -05:00
2022-06-24 22:59:24 +00:00
2022-08-31 17:19:50 +01:00
2021-07-15 15:44:45 -04:00
2022-08-22 21:32:32 -04:00
2020-12-21 10:18:10 -05:00