bug in detach_all
Felix Salfelder <[email protected]>
| Newsgroups | gmane.comp.gnu.gnucap.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Al.
detach_all throws an Exception_CS("plugin not attached", cmd) in case it
finds !handle. from the other attach/detach commands, NULL seems to be
(intentionally?) valid within attach_list.
i think this is a copy&paste bug (from CMD_DETACH::do_it) and NULL
should be silently ignored (or unreachable after making other commands
not set a handle to NULL in the dictionary...).
regards
felix