Re: [Demexp-dev] XDR _int32 attribute

2005-09-26 Par sujet David MENTRE
Hello Thomas, 2005/9/25, Thomas Petazzoni [EMAIL PROTECTED]: While trying to compile the demexp XDR file with an other RPC generator, I found that this generator doesn't understand the « _int32 » attribute used at three places in the XDR file. I've grepped RFC 1014, and haven't found any

Re: [Demexp-dev] Problem with preference saving ?

2005-09-26 Par sujet David MENTRE
Hi Thomas, 2005/9/25, Thomas Petazzoni [EMAIL PROTECTED]: Today, when I tried to modify the preferences in my 0.6.2 demexp client, the new preferences were not taken into account when restarting the client. What do you mean exactly by the new preferences were not taken into account? Did you

Re: [Demexp-dev] XDR _int32 attribute

2005-09-26 Par sujet David MENTRE
Hello, 2005/9/26, Thomas Petazzoni [EMAIL PROTECTED]: So, a simple «int» should be 32-bits signed integer. If ocamlrpcgen doesn't do that by default, then I suppose it's broken. AFAIR, ocamlrpcgen maps by default XDR int to opaque 4-bytes type, that should be manually converted to OCaml native

Re: [Demexp-dev] Problem with preference saving ?

2005-09-26 Par sujet Thomas Petazzoni
Hi David, David MENTRE wrote: Did you try to specify a new default server different that tuxinette.linux-france.org:5? Did you launch the client with the URL of the new server in the command line? Here are the steps to reproduce (from my remembers): - rm -rf ~/.demexp* -