[Termtools] Termination Portal back online

[David Keller]

Hello Jesús,

thanks for reporting this. http://www.termination-portal.org/ should now 
redirect correctly.

Please remember to clear your browser cache, as web browsers might cache 
the redirect.

Best regards,

David

On 13.08.20 02:22, Jesus Doménech wrote:
> Dear David,
>
> I'm still getting problems to access the termination-portal. It 
> depends on if I use "www" before the URL. I'm not sure if this 
> behaviour was there before the solved problem.
>
> Using http://termination-portal.org will work, but using 
> http://www.termination-portal.org/ will get redirected to AProVE web 
> site. I've checked that we normally use the working URL, but there are 
> emails and publications that use the one with www.
>
> It's not urgent but could you take a look at that, please?
>
>
> Thanks,
>
> Jesús
>
> -- 
> 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>
>
>
> El vie., 31 jul. 2020 a las 14:41, David Keller 
> (<keller at cs.rwth-aachen.de <mailto:keller at cs.rwth-aachen.de>>) escribió:
>
>     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  <mailto:Termtools at lri.fr>
>>>     http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>>
>>     _______________________________________________
>>     Termtools mailing list
>>     Termtools at lri.fr  <mailto:Termtools at lri.fr>
>>     http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>     _______________________________________________
>     Termtools mailing list
>     Termtools at lri.fr <mailto: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/20200813/509027ed/attachment-0001.htm>