IDL for mysql servant