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