Re: [mizar] Mizar Wiki 403 error "forbidden"

[adamn@math.uwb.edu.pl]

Hi Alex,

Quoting "Alex Nelson  thmprover _AT_ gmail.com"  
<owner-mizar-forum@mizar.uwb.edu.pl>:

> I just tried accessing the Mizar wiki (http://wiki.mizar.org/bin/view/Mizar)
> and got a 404 error; I'm not sure who to ping about it?

Actually, it should be a 403 error (access denied). Quite some time  
ago I decided to switch the service off-line, because of notorious  
break-in attacks. It turned out that TWiki's old Perl-based code was  
hard to maintain properly and vulnerable to various exploits. I  
remember once trying to migrate the archived data into a more modern  
fork of TWiki called Foswiki, but that attempt failed and after that I  
hadn't found the time and energy to work on in again. It's a pity that  
the site hasn't been operational for a long time now, but I can't  
promise to revive it anytime soon, sorry.

Best,

Adam
--
Adam Naumowicz

===========================================================================
Division of Programming and Formal Methods   Fax: +48(85)738-83-33
Faculty of Computer Science                  Tel: +48(85)738-83-06 (office)
University of Bialystok                      E-mail: adamn@math.uwb.edu.pl
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================