static S botEditMechList(S name, S text) { try { if (mechPlaying()) { if (eq(mechList_raw(name), text)) ret "No change"; print("Setting mech list " + name + ":"); printIndent(text); ret "Would change"; } ret postPageSilently("http://butter.botcompany.de:8080/mech/raw/bot-list-edit", arrayPlus(muricaCredentials(), +name, +text)); } finally { mechList_clearCache(name); } } static S botEditMechList(S name, L lines) { ret botEditMechList(name, lines(lines)); }