Re: [Sks-devel] sks cleandb gives exception

[Yaron Minsky]

First of all, from a debugging standpoint, you can certainly build a
byte-code version of SKS.  Just do "make all.bc" and "make install.bc",
and you will get an sks.bc executable ready for debugging.

I'd like to see what errors you get from the .bc version.  If you set the
enviornment variable OCAMLRUNPARAM to "b=1.0", you may get a stacktrace.

Could you also provide more info about the platform you're running on (os
version, architecture) and exactly what you did during the run (command
line arguments, contents of sksconf, etc.)

Thanks,
Yaron

Olaf Gellert said:
> Hi,
>
> I successfully compiled sks and installed in on
> a Linux server. When I an doing "sks build"
> everything seems to work fine. The database
> directory is created with the following
> files:
>
>> ls -l
> drwx------    2 root     root         4096 Feb 10 16:03 .
> drwxr-xr-x    6 root     root         4096 Feb 10 16:03 ..
> -rw-------    1 root     root         8192 Feb 10 16:03 __db.001
> -rw-------    1 root     root     26222592 Feb 10 16:03 __db.002
> -rw-------    1 root     root         4096 Feb 10 16:03 key
> -rw-------    1 root     root         8192 Feb 10 16:03 keyid
> -rw-------    1 root     root         8192 Feb 10 16:03 meta
> -rw-------    1 root     root         8192 Feb 10 16:03 subkeyid
> -rw-------    1 root     root         8192 Feb 10 16:03 time
> -rw-------    1 root     root         8192 Feb 10 16:03 tqueue
> -rw-------    1 root     root         8192 Feb 10 16:03 word
>
>
> Then I am doing an "sks cleandb" and it raises an
> exeption. The end of the output of ltrace is the following:
>
> strcmp("Pervasives.do_at_exit", "Cryptokit.Error") = 1
> strcmp("Pervasives.do_at_exit", "keyexists")      = -1
> strcmp("Pervasives.do_at_exit", "Pervasives.do_at_exit") = 0
> fprintf(0x40243ee0, "Fatal error: exception %s\n", "Not_found"Fatal error:
> excep
> tion Not_found) = 33
>
> I am not very firm in debugging ocaml (especially because
> the ocamldebug only works on bytocode, it seems).
>
> Anyone has an idea what is happening?
>
> Regards,
> Olaf
> --
> Olaf Gellert                           mailto:address@hidden
> ----------------------------------------------------------------
> DFN-PCA                                   DFN-CERT Services GmbH
> Heidenkampsweg 41                         http://www.dfn-pca.de/
> D-20097 Hamburg, Germany           +49.40.808077-555 / Fax: -556
>
>
>
> _______________________________________________
> Sks-devel mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/sks-devel
>


|--------/            Yaron M. Minsky              \--------|
|--------\ http://www.cs.cornell.edu/home/yminsky/ /--------|

Open PGP --- KeyID B1FFD916
Fingerprint: 5BF6 83E1 0CE3 1043 95D8 F8D5 9F12 B3A9 B1FF D916