| 612 | // |
| 613 | |
| 614 | static void preserve_rooms_cycle(color_ostream &out) { |
| 615 | DEBUG(control,out).print("preserve_rooms_cycle\n"); |
| 616 | do_cycle(out); |
| 617 | } |
| 618 | |
| 619 | static bool preserve_rooms_setFeature(color_ostream &out, bool enabled, string feature) { |
| 620 | DEBUG(control,out).print("preserve_rooms_setFeature: enabled={}, feature={}\n", |