Merge pull request #219 from jgraichen/fix/dot

Fix missing dot (fixes #218)
This commit is contained in:
rteusner
2018-10-19 15:32:45 +02:00
committed by GitHub

View File

@ -176,7 +176,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.filenamereplace(/#$/,'')); // remove # if it is the last character, this is not part of the filename and just an anchor var url = response.test_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.initializeSocketForTesting(url); this.initializeSocketForTesting(url);
}.bind(this)); }.bind(this));
} }