Problems with .proof directory

Dear experts,
I have some problems trying to run proof on two machines which have a shared home directory. I notice that the output of proof, launched in the second machine is the same as the output of proof, launched in the first machine. This may be caused because the ~/.proof directory is the same.
I tried on the second machine to change the .proof directory in this way:
gEnv->SetValue( “ProofServ.Sandbox”, “/data02/testa/.proof”);
But again I see the wrong output and the /data02/testa/.proof directory is empty.
Could anybody help me?

Hi Marianna,

What do you mean exactly by ‘PROOF output’?
The directory where the log files are?

Are you using PROOF-Lite?

Cheers, Gerri