Re: OCaml version problems on Windows
Thomas Leonard <[email protected]>
| Newsgroups | gmane.comp.file-systems.zero-install.devel |
|---|---|
| Message-ID | <CAG4opy-98WQFcJ-8HrKuyhfkkUbLh8hQbVN-RRj_umUUzwxdQw@mail.gmail.com> |
On 24 May 2015 at 23:41, Bastian Eicher <[email protected]> wrote: > Turns out there are still some lingering issues with the OCaml version of > 0install on Windows: > > 0install sporadically fails with messages like: > Fatal error: exception Unix.Unix_error(Unix.EACCES, "unlink", > "...\\Temp\\0install985d8b-gpg") > This seems to be triggered by some race condition since executing the same > command multiple times in a row sometimes triggers the issue and sometimes > does not. Perhaps it has something to do with a file handle not being > released on time, since Windows gets considerably more grumpy about deleting > "in use" files than Linux does. I've changed this into a warning so we can see the underlying error: https://github.com/0install/0install/commit/d79ec7b639d5ff11e3a0f194d0a10a54a392465b > Fetching information from the key server fails due to an SSL certificate > problem: > Error downloading > 'https://keylookup.appspot.com/key/66B436AC2D4B2281257B9BB985A0F0DAB46EE668' > : SSL certificate problem: unable to get local issuer certificate > I guess this has something to do with OCaml Curl library not being bundled > with a cert list. Does adding one fix it? Alternatively, this looks interesting: http://curl.haxx.se/docs/sslcerts.html "If libcurl was built with Schannel (Microsoft's native TLS engine) or Secure Transport (Apple's native TLS engine) support, then libcurl will still perform peer certificate verification, but instead of using a CA cert bundle, it will use the certificates that are built into the OS. " > I saw a couple of messages like this for feeds are actually correctly > signed: > Feed http://0install.de/feeds/cli/cli.xml: No signatures found on feed > http://0install.de/feeds/cli/cli.xml! > Perhaps a secondary side-effect of one of the two issues above? -- Dr Thomas Leonard http://roscidus.com/blog/ GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA ------------------------------------------------------------------------------ One dashboard for servers and applications across Physical-Virtual-Cloud Widest out-of-the-box monitoring support with 50+ applications Performance metrics, stats and reports that give you Actionable Insights Deep dive visibility with transaction tracing using APM Insight. http://ad.doubleclick.net/ddm/clk/290420510;117567292;y