Method ServerError

MiniZincIDE/exception.h:86–86

{
public:
    ServerError(const QString& _msg) : Exception(_msg) {}

    void raise() const override { throw *this; }
    Exception *clone() const override { return new ServerError(*this); }