Thanks Esteban for fixing the issue. Thanks Marcus for the explanation, I understand the situation.
On Wed, Sep 13, 2017 at 11:41 AM Marcus Denker <marcus.den...@inria.fr> wrote: > > > > > > BTW, If you need help for system administration, I'm willing to help and > I can dedicate some time to it. Is there someone I can talk to about this ? > > > > The problem is that for now we are running on Inria servers where logins > are restricted… for sure we will at some point move > somewhere else. If that happens, we will make a call for help for sys > admin related tasks. > > Marcus > > >
