[isabelle-dev] Mira broken

[Lars Noschinski]

Hi,

it seems someone (or something) broke Mira. When I start

~/testbench-main/mira/bin/mira daemon 'bisect(Isabelle-makeall)'

on lxbroy10, I get (BTW: It would be pretty nice if mira only daemonized 
after a successful start):

[2012-08-16 17:29:12,495] CRITICAL mira 
**************************************************************************************************************************
[2012-08-19 05:37:12,490] INFO mira pid is 58688
[2012-08-19 05:37:12,491] INFO mira Daemon instance isatest, started 
from /home/isatest/testbench-main/mira.
[2012-08-19 05:37:12,935] INFO mira.workbench Mirroring master 
repositories...
[2012-08-19 05:37:13,900] INFO mira.workbench Scheduling...
[2012-08-19 05:37:13,926] CRITICAL mira 
**********************************************************************************************
[2012-08-19 05:37:13,926] CRITICAL mira mira system error
[2012-08-19 05:37:13,926] CRITICAL mira 
**********************************************************************************************
[2012-08-19 05:37:13,926] CRITICAL mira Traceback (most recent call last):
   File "/home/isatest/testbench-main/mira/util/daemonize.py", line 80, 
in daemonize
     result = f()
   File "/home/isatest/testbench-main/mira/mira/environment.py", line 
172, in daemon_activity
     f()
   File "/home/isatest/testbench-main/mira/mira/tools.py", line 118, in 
<lambda>
     return env.daemonize(instance_name, lambda: loop(env, scheduler_expr))
   File "/home/isatest/testbench-main/mira/mira/tools.py", line 107, in loop
     env.workbench.loop(mira.schedule.parse_scheduler_expr(env, 
scheduler_expr))
   File "/home/isatest/testbench-main/mira/mira/workbench.py", line 134, 
in loop
     cases = schedule()
   File "/home/isatest/testbench-main/mira/mira/schedule.py", line 39, 
in <lambda>
     return lambda: scheduler.impl(env, *args)
   File "/home/isatest/testbench-main/mira/mira/schedule.py", line 106, 
in bisect
     repos_name = env.get_configuration(conf).repos[0]
   File "/home/isatest/testbench-main/mira/mira/environment.py", line 
140, in get_configuration
     raise KeyError('Unknown configuration: %s' % conf_name)
KeyError: 'Unknown configuration: Isabelle-makeall'
[2012-08-19 05:37:13,927] CRITICAL mira 
**********************************************************************************************

Rings a bell for anyone? I won't be able to analyze this before next week.

lxbroy8 has a similar issue; updating to the current mira repository did 
not help.

   -- Lars