Re: [mizar] mizar twiki unavailable?

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

the TWiki is up again, at 
http://lipa.ms.mff.cuni.cz/cgi-bin/twiki/view/Mizar . The domain will 
probably change in some time to wiki.mizar.org .

Josef



On Sun, 2 Jan 2005, Josef Urban wrote:

> 
> Hi Jesse,
> 
> yes it's down, the search function in the old TWiki 
> allowed arbitrary shell command execution 
> (http://twiki.org/cgi-bin/view/Codev/SecurityAlertExecuteCommandsWithSearch),  
> and it seems to be really abused by some hackers. I have already upgraded 
> it to the latest production release, but we are not yet sure that 
> everything is OK on alioth. I hope we'll put it back in short time.
> 
> Best,
> Josef
> 
> On Sun, 2 Jan 2005, Jesse Alama wrote:
> 
> > Hello,
> > 
> > It seems that alioth.uwb.edu.pl is down; I've tried accessing the Mizar 
> > TWiki for a couple days without success.  What's happening?
> > 
> > Thanks,
> > 
> > Jesse
> > 
>