-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Si abro dos veces el repl, la segunda no puede abrir el diagrama dinámico porque el puerto ya está usado #58
Comments
Y cuál sería el comportamiento esperado?
Un poco de cada? |
@PalumboN @JuanFdS en este PR hice que cuando ejecutás el REPL mate todas las sesiones abiertas hasta el momento (igual que pasaba en Xtext) para que no queden puertos abiertos (me parece que para una persona que arranca hacer eso le puede traer problemas de performance y la sensación de que "hay que apagar la compu porque Wollok consume mucha memoria"). Cierro el ticket a menos de que quieras hacer otra cosa. |
Holis! Ese PR sirve para el VSCode, pero qué pasa si uso la CLI por consola? |
Buen punto. Reabro.... |
@PalumboN , qué te parece "un poco de ambas":
|
Me parece bien lo del checkeo y la opción del Hago estas preguntas / comentarios:
|
Yo diría de matarlo, porque dejar dos consolas va a ser para que se arme lío o reporten errores que no son tales.
Sí, eso me molesta, pero todavía no pude ver cómo hacer para detectar de que hubo un error (en realidad supongo que deberíamos ver qué eventos hay para mostrar ese mensaje una vez que efectivamente se conectó). En paralelo, hay un mensaje que me resulta molesto y es que como usamos socket, cada dos por tres se desconecta y se conecta y eso ensucia la consola. Yo lo que haría es que cuando se desconecte por más de 3 segundos ahí se muestre el mensaje, con lo cual tiraría un setTimeout...
Dale! |
Yo no loguearía nada cuando se conectan al diagrama... Como muuuucho lo dejaría para un modo DEBUG |
…wollok-ts-cli into fix-#58-port-already-used
Uhhh... datos de cosas que me pasaron:
import { io } from "./lib/socket.io.esm.min.js";
const socket = io("http://localhost:3000");
socket.on("connect", function () { está hardcodeado el 3000 al server... (si te conectás al 3001 con la segunda instancia la página responde pero hay un error de CORS) Voy a seguir investigando |
…wollok-ts-cli into fix-#58-port-already-used
Listo el pollo, arreglé las dos cositas. |
Wollok cli intenta abrir ambas veces en el puerto 3000 y la segunda falla con:
Como reproducir:
The text was updated successfully, but these errors were encountered: