Richtig egal also auf jeden kann man den bug so fixen und wen das geht mit dem Server neuinstall.
dann natürlich ist das besser