summaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorJordan <jordan@psifertex.com>2022-12-13 14:54:12 -0500
committerGitHub <noreply@github.com>2022-12-13 14:54:12 -0500
commit1bd6e0f07398a68971b99a2b37688ff327ec110e (patch)
tree3d92510eaeb9584c872e401548a17d3dca82d3c6 /docs/dev
parent37684d326ac46de240658b51a4baa3ecdc687ebf (diff)
fix incorrect link
Diffstat (limited to 'docs/dev')
-rw-r--r--docs/dev/batch.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dev/batch.md b/docs/dev/batch.md
index 6e65de17..841027a6 100644
--- a/docs/dev/batch.md
+++ b/docs/dev/batch.md
@@ -90,7 +90,7 @@ with open_view("/bin/ls", options={'analysis.limits.maxFunctionSize': 0}) as bv:
### Logging and Exceptions
-By default, logging will follow whatever the setting is for [minimum log level](https://docs.binary.ninja/guide/settings.html#all-settings) (`WarningLog` if not changed). However, for batch-process, it's often convenient to use the [`disable_default_log`](https://api.binary.ninja/index.html#binaryninja.disable_default_log) API to shut off logging entirely. Note that you may still need to handle python exceptions with a "try/except" pattern in the event of malformed files that do not process as expected.
+By default, logging will follow whatever the setting is for [minimum log level]([https://docs.binary.ninja/guide/settings.html#all-settings](https://docs.binary.ninja/guide/settings.html#python.log.minLevel)) (`WarningLog` if not changed). However, for batch-process, it's often convenient to use the [`disable_default_log`](https://api.binary.ninja/index.html#binaryninja.disable_default_log) API to shut off logging entirely. Note that you may still need to handle python exceptions with a "try/except" pattern in the event of malformed files that do not process as expected.
### Further Customization