src/Pure/System/session.scala
changeset 38415 f3220ef79d51
parent 38414 49f1f657adc2
child 38416 56e76cd46b4f
     1.1 --- a/src/Pure/System/session.scala	Sat Aug 14 22:45:23 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sat Aug 14 23:01:53 2010 +0200
     1.3 @@ -317,7 +317,8 @@
     1.4          def lookup_command(id: Document.Command_ID): Option[Command] =
     1.5            state_snapshot.lookup_command(id)
     1.6          def state(command: Command): Command.State =
     1.7 -          state_snapshot.command_state(document, command)
     1.8 +          try { state_snapshot.command_state(document, command) }
     1.9 +          catch { case _: State.Fail => command.empty_state }
    1.10        }
    1.11      }
    1.12