Changes between Version 14 and Version 15 of PromotFAQ


Ignore:
Timestamp:
Apr 11, 2012, 4:26:59 PM (13 years ago)
Author:
mirschel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PromotFAQ

    v14 v15  
    33[[PageOutline]]
    44
    5 == How can I run ProMoT using Windows XP/Vista? ==
     5== How can I run ProMoT using Windows XP/Vista/7? ==
    66
    77The preferred file to start ProMoT is promot.bat. It starts both the Kernel and the GUI.
    … …  
    3939If this all does not work,
    4040 * make sure that you use java version 6.0,
     41 * and the hostname on linux does not start with a number (Then you should change the hostname in /etc/hosts).
    4142 * the directory for the binding handle of the server is the same like the one for the GUI:
    4243{{{
    … …  
    4748...
    4849}}}
    49  * and the hostname on linux does not start with a number (Then you should change the hostname in /etc/hosts).
    50 
    5150
    5251== The software is not responding anymore, is it possible to save my changes anyhow? ==
    5352
    54 You can try to kill just the java gui (via an xkill, or killing the process in the console; in emacs you can kill the buffer *compilation*).
     53You can try to kill just the java GUI (via an xkill, or killing the process in the console; in emacs you can kill the buffer *compilation*).
    5554Go to the server (on the console or the *promot-server* buffer in emacs). If the server looks OK (Press Enter, the prompt PK(..): appears)
    56 start a new gui on the running server, then your model will not be lost. It is still present in the server..
     55start a new GUI on the running server, then your model will not be lost. It is still present in the server..
    5756
    58 ProMoT version 0.8.3: If it's not possible to start a gui on the running server, go to the server prompt (either on the console or in the *promot-server* buffer in emacs),
     57ProMoT version 0.8.3: If it's not possible to start a GUI on the running server, go to the server prompt (either on the console or in the *promot-server* buffer in emacs),
    5958press Enter, ''PK(..):'' should appear. Now type:  ''(save-all "~/current_model.mdl")''. This will save all loaded classes into the file current_model.mdl in your home.
    6059