#1140: Emit warning when outputting a running timer ----------------------+----------------------------------------------------- Reporter: eschnett | Owner: Type: defect | Status: new Priority: major | Milestone: Component: Cactus | Version: Keywords: | ----------------------+----------------------------------------------------- Outputting (or accessing) running timers can give wrong results. There should be a warning about this.