Commit d517c3e4 authored by ifagian's avatar ifagian

Bug en 3D y en nombres de archivos

parent 1b3b820f
......@@ -4519,7 +4519,7 @@
"dev": true
},
"graph3D": {
"version": "git://github.com/ifagian/graph3D.git#187fec44e862e43cb289070e4f136fa43f286ab4",
"version": "git://github.com/ifagian/graph3D.git#7ccf98694a6c2afc03f39d5f8bbe548f28c3538d",
"from": "git://github.com/ifagian/graph3D.git#master",
"requires": {
"gif.js": "^0.2.0",
......
export function formatJSON(jsonString: string) : string {
const regexRot = /\"rot\"\:\((\d*.\d*),(\d*.\d*),(\d*.\d*)\)/g;
const regexRot = /\"rot\"\:\((\-?\d*.\d*),(\-?\d*.\d*),(\-?\d*.\d*)\)/g;
const regexPts = /\"pts\"\:\[\((\-?\d*.\d*),(\-?\d*.\d*),(\-?\d*.\d*)\),\((\-?\d*.\d*),(\-?\d*.\d*),(\-?\d*.\d*)\)\]/g;
return jsonString
......
......@@ -21,8 +21,8 @@
// export const GHCI_URL = 'ws://35.199.110.129:9090/endpoint';
// Google cloud platform v2
// export const SERVER = 'http://35.198.60.74:9090';
// export const GHCI_URL = 'ws://35.198.60.74:9090/endpoint';
// export const SERVER = 'http://35.199.87.61:9090';
// export const GHCI_URL = 'ws://35.199.87.61:9090/endpoint';
// psico
export const SERVER = 'https://matefun.math.psico.edu.uy';
......
......@@ -145,7 +145,7 @@ export class GHCIService {
var ErrorFinalText = `${this.translateService.get('i18n.codemirror.command.inColumn').value}` + columna + ": " + ErrorTextToShow;
if((this.currentFile == this.lastErrorFile) && (this.codemirrorRef!==null)){
if((this.currentFile.toLowerCase() == this.lastErrorFile.toLowerCase()) && (this.codemirrorRef!==null)){
var makeMarker = function() {
var marker = document.createElement("div");
marker.id = "error_" + line.toString();
......@@ -214,7 +214,7 @@ export class GHCIService {
var warningFinalText = `${this.translateService.get('i18n.codemirror.command.inColumn').value}` + columna + ": " + warningTextToShow;
if((this.currentFile == this.lastWarningFile) && (this.codemirrorRef!==null)){
if((this.currentFile.toLowerCase() == this.lastWarningFile.toLowerCase()) && (this.codemirrorRef!==null)){
var makeMarker = function() {
var marker = document.createElement("div");
marker.style.width = "15px";
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment