[Termtools] Termination Portal back online

[David Keller]

Dear all,

the problems have been resolved and the termination portal is back online.

We also moved to a new server and upgraded to the current MediaWiki 
version. If you notice any problems or unexpected behavior, please 
report it.

Best regards,

David

On 27.07.20 13:23, David Keller wrote:
>
> Dear all,
>
> unfortunately the http port of our webserver is currently blocked by 
> some firewall of the university. We have reported the problem last 
> Tuesday but so far no answer.
>
> Best regards,
>
> David
>
> On 27.07.20 13:17, Jesus Doménech wrote:
>> Dear all,
>>
>> I'm not able to access to the termination portal [1], and after some 
>> certification complains, I got redirected to AProVE's beta website 
>> [2]. I'm using the last version of Firefox. In Chrome, I just get 
>> "Connection refused"
>>
>> Does anyone know whats going on? Last week, I was able to access it.
>>
>> Thank you,
>> Best regards,
>>
>> Jesús
>> [1] http://www.termination-portal.org/
>> [2] https://www-aprove.informatik.rwth-aachen.de/
>>
>> -- 
>> logo UCM
>>
>> Jesús J. Doménech Arellano
>> Departamento de Sistemas Informáticos y Computación
>> Facultad de Informática - Universidad Complutense de Madrid
>>
>> (+34) 91 394 7528
>> Facultad de Informática, Aula - 16
>> jdomenec at ucm.es <mailto:jdomenec at ucm.es>
>>
>> _______________________________________________
>> Termtools mailing list
>> Termtools at lri.fr
>> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200731/2afef4a9/attachment.htm>