Re: Problem with Centaur 1.2

[jmi@columbo.inria.fr (Janet Bertot)]

In article <33910@sophia.inria.fr>, jperez@lsi.upc.es (Javier Perez) writes:
=> When we tried to install our language definition that worked ok in
=> Centaur 1.1 something curious happened: every time we try to read
=> a file written in this language nothing happens. We get no error
=> message but the editor remains blank, that is, no file is loaded.
=> We can see through the list of processes that the server hasn't been
=> started.

i can't not tell from your message what you have done in converting your 
language definition.  If the syntax definition is done using Metal then you
must remake your parser.  As i explained in a message to the mailing list:

[...]
For an existing, created under v1.1, language, L, it is important that:
	1) L.metal is recompiled
	2) L.tokens is reedited using the new L.tokens.x generated in step 1.
	3) all of L's .ppml files are recompiled.
The first two operations are necessary for the external parser, while the third
is needed for the new pretty printing machine.

While the 3 steps above will permit one to quickly get their old environment
up and running it does not take advantage of all that 1.2 has to offer.  For
a more complete conversion, we suggest reading "Changes between versions 1.1 
and 1.2", included in the Centaur 1.2 documentation (Volume 0).  This document 
tells all and shows how to profit fully from the resource management system.
[...]

NB: In the document "Changes between versions 1.1 and 1.2", you'll be most
interested in section 2 "Painless Passage from v1.1 to v1.2".  If you have 
problems/errors in doing these steps, can you give a more detailed description.

=> We made a copy of the Exp language changing all the resources to declare
=> it as a user language. The Exp language works fine, but when we finish
=> the centaur session the server process still is alive. Even if we logout
=> completely from the machine the process doesn't die.

This is completely normal.  The server is started if it is not already running
but the servers are not killed automatically.  In fact, during your next centaur
session if you were to read an Exp program you would use the existing server.

	--janet