BUGFIX: Crash in b1tflum3 and destroyW0r1dD43m0n API (#1619)

This commit is contained in:
catloversg
2024-08-24 11:06:53 +07:00
committed by GitHub
parent 329d8ca8e6
commit be515cc195
3 changed files with 19 additions and 5 deletions

View File

@@ -761,7 +761,7 @@ function validateBitNodeOptions(ctx: NetscriptContext, bitNodeOptions: unknown):
result.sourceFileOverrides = new JSONMap(options.sourceFileOverrides);
if (options.intelligenceOverride !== undefined) {
result.intelligenceOverride = number(ctx, "intelligenceOverride", options.intelligenceOverride);
result.intelligenceOverride = positiveInteger(ctx, "intelligenceOverride", options.intelligenceOverride);
} else {
result.intelligenceOverride = undefined;
}