fork an Eclipse process keeping all asserted predicates

From: <aledep81_at_tiscali.it>
Date: Wed 22 Sep 2004 04:24:49 PM GMT
Message-ID: <4136E64200044807@mail-4.tiscali.it>
Hello,
I have a problem about forking a new Eclipse process.
I want to fork a new Eclipse process, passing it all assert predicates of
parent process.
I don't know how to do it.

At the moment I know how to do an Eclipse process passing it a Goal with
the command
exec(["eclipse","-e",Goal],[in,out,err],Pid]).

Thanks
Alessandra De Paola



__________________________________________________________________
Tiscali Adsl 640 Free: fino al 15 novembre i consumi sono GRATIS!
Se sottoscrivi un'Adsl Free 640 entro il 30 settembre avrai gratis tutti
i consumi fino al 15/11/04 compreso! In piu' sono gratis il modem in comodato
e l'attivazione. Cosa aspetti? Prima attivi, piu' risparmi. Attivala subito!
http://abbonati.tiscali.it/adsl/
Received on Wed Sep 22 18:04:52 2004

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:30 PM GMT GMT