equal
deleted
inserted
replaced
582 session_error.fulfill("Session start failed: return code " + result.rc) |
582 session_error.fulfill("Session start failed: return code " + result.rc) |
583 case _ => |
583 case _ => |
584 } |
584 } |
585 session.phase_changed += session_phase |
585 session.phase_changed += session_phase |
586 |
586 |
|
587 val sessions_structure = Sessions.load_structure(options, dirs = session_base_info.dirs) |
|
588 |
587 progress.echo("Starting session " + session_base_info.session + " ...") |
589 progress.echo("Starting session " + session_base_info.session + " ...") |
588 Isabelle_Process.start(session, options, |
590 Isabelle_Process.start(session, options, sessions_structure, |
589 logic = session_base_info.session, dirs = session_base_info.dirs, modes = print_mode) |
591 logic = session_base_info.session, modes = print_mode) |
590 |
592 |
591 session_error.join match { |
593 session_error.join match { |
592 case "" => session |
594 case "" => session |
593 case msg => session.stop(); error(msg) |
595 case msg => session.stop(); error(msg) |
594 } |
596 } |