diff options
| -rw-r--r-- | pluginManager.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pluginManager.js b/pluginManager.js index ccc7b11..d53bfda 100644 --- a/pluginManager.js +++ b/pluginManager.js @@ -108,6 +108,7 @@ var tags = { let reg = /^\s*(.*)\s*:\s*$/; if (reg.test(line)){ let dl = <dl><dt>{makeLink(RegExp.$1)}</dt></dl>; + try { while ([num, line] = ite.next()){ if (!line) break; if (reg.test(line)){ @@ -116,6 +117,7 @@ var tags = { dl.* += <dd>{makeLink(line.replace(/^\s+|\s+$/g, ""))}</dd>; } } + } catch (e){} xml += dl; continue; } |