And here is the issue you opened an year ago about the socat wrapper https://github.com/rdicosmo/docked-aspcud/issues/1 Feel free to submit a PR when you have it worked out
2016-02-24 17:24 GMT+01:00 Roberto Di Cosmo <robe...@dicosmo.org>: > A dockerized aspcud is here > > https://github.com/rdicosmo/docked-aspcud > > On Wed, Feb 24, 2016 at 04:17:41PM +0000, Anil Madhavapeddy wrote: > > On 24 Feb 2016, at 16:06, Grégoire Henry <gregoire.he...@ocamlpro.com> > wrote: > > > > > >> Thanks, it seems to be back up again, so I'm restarting the CI jobs. > > >> Is the configuration of the server available so I can set it up as a > > >> local Docker container alongside the CI runs? We can spin up around > > >> 3000 containers simultaneously in a bulk run, so this can hit the > > >> cloud service pretty hard if they all make HTTP requests for a > > >> solution at the same time (and pollutes your logs with CI noise). > > > > > > Indeed, there is actually a global rate limiter that your bulk runs > > > may trigger. We did not took the time to release the tool, yet. We > > > will discuss this. I will let you now. > > > > > > > No problem at all -- I'll wire up a quick aspcud<->socat container > > to work around the issue for now (the bulk builds would also benefit > > from having a deterministic solver binary tied to the run, so we can > > chase down aspcud/gringo/clasp compatibility issues as well). > > > > Thanks for the very speedy response! > > > > -anil > > _______________________________________________ > > opam-devel mailing list > > opam-devel@lists.ocaml.org > > http://lists.ocaml.org/listinfo/opam-devel > > -- > Roberto Di Cosmo > > ------------------------------------------------------------------ > Professeur En detachement a l'INRIA > PPS E-mail: robe...@dicosmo.org > Universite Paris Diderot WWW : http://www.dicosmo.org > Case 7014 Tel : ++33-(0)1-57 27 92 20 > 5, Rue Thomas Mann > F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo > FRANCE. Twitter: http://twitter.com/rdicosmo > ------------------------------------------------------------------ > Attachments: > MIME accepted, Word deprecated > http://www.gnu.org/philosophy/no-word-attachments.html > ------------------------------------------------------------------ > Office location: > > Bureau 3020 (3rd floor) > Batiment Sophie Germain > 8 place Aurélie Nemours > Metro Bibliotheque Francois Mitterrand, ligne 14/RER C > ----------------------------------------------------------------- > GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 > -- Roberto Di Cosmo ------------------------------------------------------------------ Professeur En detachement a l'INRIA PPS E-mail: robe...@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 320 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
_______________________________________________ opam-devel mailing list opam-devel@lists.ocaml.org http://lists.ocaml.org/listinfo/opam-devel
