Changes between Version 6 and Version 7 of PromotFAQ


Ignore:
Timestamp:
Aug 19, 2010, 4:53:13 PM (15 years ago)
Author:
kolczyk
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PromotFAQ

    v6 v7  
    4949 * and the hostname on linux does not start with a number (Then you should change the hostname in /etc/hosts).
    5050
     51
     52== The software is not responding anymore, is it possible to save my changes anyhow? ==
     53
     54You 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*).
     55Go to the server (on the console or the *promot-server* buffer in emacs). If the server looks OK (Press Enter, the prompt PK(..): appears)
     56start a new gui on the running server, then your model will not be lost. It is still present in the server..
     57
     58ProMoT 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),
     59press 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.
     60
     61
    5162== On a 64-bit system I have installed ProMoT with 32-bit shared library and the 64-bit version of Diana. Will my simulation work? ==
    5263