equal
deleted
inserted
replaced
650 db.transaction { |
650 db.transaction { |
651 db.create_table(table) |
651 db.create_table(table) |
652 |
652 |
653 val key = Meta_Info.log_name |
653 val key = Meta_Info.log_name |
654 val known_files = |
654 val known_files = |
655 using(db.select(table, List(key)))(stmt => |
655 using(db.select(table, List(key), distinct = true))(stmt => |
656 SQL.iterator(stmt.executeQuery)(rs => db.string(rs, key)).toSet) |
656 SQL.iterator(stmt.executeQuery)(rs => db.string(rs, key)).toSet) |
657 |
657 |
658 val unique_files = |
658 val unique_files = |
659 (Map.empty[String, JFile] /: files.iterator)({ case (m, file) => |
659 (Map.empty[String, JFile] /: files.iterator)({ case (m, file) => |
660 val name = Log_File.plain_name(file.getName) |
660 val name = Log_File.plain_name(file.getName) |