#1197 closed defect (fixed)
Cargar TolConfigManager sin cargar la StdLib
| Reported by: | Víctor de Buen Remiro | Owned by: | Víctor de Buen Remiro |
|---|---|---|---|
| Priority: | highest | Milestone: | Mantainance |
| Component: | Kernel | Version: | head |
| Severity: | blocker | Keywords: | |
| Cc: |
Description
A veces puede ser necesario cargar TolConfigManager sin cargar la StdLib completa para cambiar alguna opción de configuración de usuairo sin la cual StdLib no carga correctamente. Por ejemplo, cuando no se tiene internet y se quiere deshabilitar la búsqueda de actualizaciones que puede ralentizar o incluso quedarse colgado.
Change History (10)
comment:1 Changed 14 years ago by
comment:3 Changed 14 years ago by
Ya está todo arreglado:
- Las variables relacionadas con la versión y el ejecutable se crean en InitGrammars para que estén siempre disponibles.
- El argumento calledProgram que antes recibía LoadInitLibrary ahora se le pasa a InitGrammars. En el caso de toltcl, hay pasárselo a InitTolKernel para que lo adjunte a InitGrammars
- La StdLib sólo carga TolConfigManager si aún no existe, por si se quiere cambiar alguna opción de configuración en la misma línea de comandos y luego cargar la StdLib
La orden para cargar TolConfigManager sin cargar la StdLib es la siguiente:
tol -v -i -c"Set Include(TOLSH_PATH+\"StdLib/TolConfigManager/TolConfigManager.tol\");" [resto de argumentos]
Lo mismo sirve con tolsh.
comment:4 Changed 14 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:9 Changed 14 years ago by
Se ha subido la versión binaria de windows de desarrollo
v2.0.2 b.0.05.alpha 2011-05-13 12:39:51 i686-win
que resuelve este problema. Si en unos días no se reporta ningún problema se subirá la correspondiente versión oficial.
Note: See
TracTickets for help on using
tickets.
(In [3539]) Refs #1197