Browse Source

Fix up error docs

dev/git-series/gccdum
Matt Godbolt 6 years ago
parent
commit
e4ec967916
  1. 6
      .idea/inspectionProfiles/profiles_settings.xml
  2. 4
      static/compiler.js

6
.idea/inspectionProfiles/profiles_settings.xml

@ -0,0 +1,6 @@
<component name="InspectionProjectProfileManager">
<settings>
<option name="PROJECT_PROFILE" />
<version value="1.0" />
</settings>
</component>

4
static/compiler.js

@ -186,7 +186,7 @@ define(function (require) {
};
if (!this.compiler) {
this.onCompileResponse(request, errorResult("Please select a compiler"), false);
this.onCompileResponse(request, errorResult("<Please select a compiler>"), false);
return;
}
@ -229,7 +229,7 @@ define(function (require) {
}, this),
error: _.bind(function (xhr, e_status, error) {
clearTimeout(progress);
this.onCompileResponse(request, errorResult("Remote compilation failed: " + error), false);
this.onCompileResponse(request, errorResult("<Remote compilation failed: " + error + ">"), false);
}, this),
cache: false
});

Loading…
Cancel
Save