aboutsummaryrefslogtreecommitdiff
path: root/doc/plugin_tutorial
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2019-08-01 15:14:42 +0200
committerEmilio Jesus Gallego Arias2019-08-27 16:57:23 +0200
commit94c8f42eea1c36f582fe2390680de75634324c85 (patch)
tree56cf6addaf2c97d26855437cc78a3becf1ef726d /doc/plugin_tutorial
parent1e1d5bf3879424688fa9231ba057b05d86674d22 (diff)
[cleanup] Replace uses of UserError constructor, clarify exception names.
We replace some uses of `raise (UserError ...)` with `CErrors.user_err`, ideally we would like to make the error raising API not depend on the exception themselves, but that's still a long way to go. We also rename the `Timeout` exception as to clarify purpose in the codebase, given that it has 3 different ones as of today. cc: #7560
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions