ghItlhpu' Daimrod : >> My question is now: is this correct, or did I understand something >> wrong? If my understanding is correct, how this bug be fixed more >> elegantly? > > It doesn't work at startup when agenda hasn't been built yet. The > following patch does seem to fix that. If it's ok, I can push it. It works for me. Thanks! Daniel -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Dr. rer. nat. Daniel Borchmann Postdoctoral Research Associate Technische Universität Dresden Fakultät Informatik Institut für Theoretische Informatik Lehrstuhl für Automatentheorie 01062 Dresden Tel.: +49 351 463-34059 E-Mail: daniel.borchmann@tu-dresden.de ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~