Function progress

packages/hydrooj/src/service/server.ts:182–184

(message: string, params: any[] = [])

                if (!this.user.hasPriv(...args)) throw new PrivilegeError(...args);
            },
            progress(message: string, params: any[] = []) {
                Hydro.model.message.sendInfo(this.user._id, JSON.stringify({ message, params }));
            },
            async limitRate(
                op: string, periodSecs: number, maxOperations: number, defaultKey = system.get('limit.by_user') ? '{{ip}}@{{user}}' : '{{ip}}',
            ) {