Hi all
Since the user database is still importing, we decided to at least get the most
important data from zedler back online: the toolserver (meta)database, with
toolserver.wiki etc. To access it, use the hostname sql-toolserver. This way, it
is no longer bound to the locatiuon of the user databases, and we can point that
alias to a workign copy at will. the command line script "sql" was already
changed to do use the new ost name.
So, to fix your tools, change the database host for the toolserver db to
"sql-toolserver".
-- daniel