dev/git-series/gccdum
Matt Godbolt 10 years ago
parent 14c3198e90
commit fb616215b9

@ -192,7 +192,7 @@ function Compiler(domRoot, origFilters, windowLocalPrefix, onChangeCallback) {
setSetting('compiler', data.compiler);
setSetting('compilerOptions', data.options);
if (JSON.stringify(data) == JSON.stringify(lastRequest)) return;
data.timestamp: new Date(); // Only after we check for "same as last time"
data.timestamp = new Date(); // Only after we check for "same as last time"
lastRequest = data;
$.ajax({
type: 'POST',

Loading…
Cancel
Save