equal
deleted
inserted
replaced
562 val session_info = session_context.sessions_structure(session_name) |
562 val session_info = session_context.sessions_structure(session_name) |
563 |
563 |
564 val session_dir = context.session_dir(session_name).expand |
564 val session_dir = context.session_dir(session_name).expand |
565 progress.echo("Presenting " + session_name + " in " + session_dir + " ...") |
565 progress.echo("Presenting " + session_name + " in " + session_dir + " ...") |
566 |
566 |
567 Meta_Info.init_directory(context.chapter_dir(session_name)) |
567 Meta_Info.init_directory(context.chapter_dir(session_name), permissive = true) |
568 Meta_Info.clean_directory(session_dir) |
568 Meta_Info.clean_directory(session_dir) |
569 |
569 |
570 val session = context.document_info.the_session(session_name) |
570 val session = context.document_info.the_session(session_name) |
571 |
571 |
572 Bytes.write(session_dir + session_graph_path, |
572 Bytes.write(session_dir + session_graph_path, |