[Termtools] Termination Portal back online

[Jesus Doménech]

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/5babd357/attachment.htm>