src/Pure/Admin/component_sqlite.scala
changeset 83150 d1b49f9859ac
parent 81969 2feeac105b53
equal deleted inserted replaced
83149:b6ad7d2fc589 83150:d1b49f9859ac
     9 
     9 
    10 object Component_SQLite {
    10 object Component_SQLite {
    11   /* build sqlite */
    11   /* build sqlite */
    12 
    12 
    13   val default_main_url =
    13   val default_main_url =
    14     "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.48.0.0/sqlite-jdbc-3.48.0.0.jar"
    14     "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.49.1.0/sqlite-jdbc-3.49.1.0.jar"
    15 
    15 
    16   val default_logger_url =
    16   val default_logger_url =
    17     "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
    17     "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.17/slf4j-api-2.0.17.jar"
    18 
    18 
    19   private def jar_name(url: String): String = {
    19   private def jar_name(url: String): String = {
    20     Url.get_base_name(url, suffix = ".jar") getOrElse
    20     Url.get_base_name(url, suffix = ".jar") getOrElse
    21       error("Malformed jar URL: " + quote(url))
    21       error("Malformed jar URL: " + quote(url))
    22   }
    22   }