Fix incorrect caching behaviour

dev/git-series/gccdum
Matt Godbolt 11 years ago
parent f70cd17d69
commit 7c19788692

@ -122,7 +122,7 @@ function compile(req, res) {
return res.end(JSON.stringify({code: -1, stderr: sourceErr}));
}
var key = compiler + " | " + source;
var key = compiler + " | " + source + " | " + options + " | " + filters["intel"];
var cached = cache.get(key);
if (cached) {
cacheHits++;

Loading…
Cancel
Save