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