Fix for undefined options

dev/git-series/gccdum
Matt Godbolt 7 years ago
parent 137f86d584
commit 4bb0973e0f

@ -403,7 +403,7 @@ function CompileHandler() {
if (source === undefined) {
return next(new Error("Bad request"));
}
options = req.body.options.split(' ').filter(identity);
options = options.split(' ').filter(identity);
var filters = req.body.filters;
compileObj.compile(source, compiler, options, filters).then(
function (result) {

Loading…
Cancel
Save