[Termtools] Termination Portal back online

[Jesus Doménech]

All is working now. Thank you for the quick fix

Best regards,

Jesús


El jue., 13 ago. 2020 8:32, David Keller <keller at cs.rwth-aachen.de>
escribió:

> 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
>
> --
> [image: 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
>
>
> El vie., 31 jul. 2020 a las 14:41, David Keller (<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/
>>
>> --
>> [image: 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
>>
>> _______________________________________________
>> Termtools mailing listTermtools at lri.frhttp://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>>
>>
>> _______________________________________________
>> Termtools mailing listTermtools at lri.frhttp://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/20200813/2d15f17f/attachment.htm>