htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

strip # from filename if it is there by error.

Browse Source
This commit is contained in:
Ralf Teusner
2017-02-02 12:04:22 +01:00
parent b63edb8f55
commit 252a6ba5d8
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
app/assets/javascripts/editor/submissions.js.erb
View File

@ -120,7 +120,7 @@ CodeOceanEditorSubmissions = {
event.preventDefault(); event.preventDefault();
if ($('#render').is(':visible')) { if ($('#render').is(':visible')) {
this.createSubmission('#render', null, function (response) { this.createSubmission('#render', null, function (response) {
var url = response.render_url.replace(this.FILENAME_URL_PLACEHOLDER, this.active_file.filename); var url = response.render_url.replace(this.FILENAME_URL_PLACEHOLDER, this.active_file.filename.replace(/#$/,'')); // remove # if it is the last character, this is not part of the filename and just an anchor
var pop_up_window = window.open(url); var pop_up_window = window.open(url);
if (pop_up_window) { if (pop_up_window) {
pop_up_window.onerror = function (message) { pop_up_window.onerror = function (message) {
@ -149,7 +149,7 @@ CodeOceanEditorSubmissions = {
this.showSpinner($('#run')); this.showSpinner($('#run'));
$('#score_div').addClass('hidden'); $('#score_div').addClass('hidden');
this.toggleButtonStates(); this.toggleButtonStates();
var url = response.run_url.replace(this.FILENAME_URL_PLACEHOLDER, this.active_file.filename); var url = response.run_url.replace(this.FILENAME_URL_PLACEHOLDER, this.active_file.filename.replace(/#$/,'')); // remove # if it is the last character, this is not part of the filename and just an anchor
this.initializeSocketForRunning(url); this.initializeSocketForRunning(url);
}.bind(this)); }.bind(this));
} }
@ -170,7 +170,7 @@ CodeOceanEditorSubmissions = {
this.createSubmission('#test', null, function(response) { this.createSubmission('#test', null, function(response) {
this.showSpinner($('#test')); this.showSpinner($('#test'));
$('#score_div').addClass('hidden'); $('#score_div').addClass('hidden');
var url = response.test_url.replace(this.FILENAME_URL_PLACEHOLDER, this.active_file.filename); var url = response.test_url.replace(this.FILENAME_URL_PLACEHOLDER, this.active_file.filenamereplace(/#$/,'')); // remove # if it is the last character, this is not part of the filename and just an anchor
this.initializeSocketForTesting(url); this.initializeSocketForTesting(url);
}.bind(this)); }.bind(this));
} }