equal
deleted
inserted
replaced
10 import java.sql.{DriverManager, Connection} |
10 import java.sql.{DriverManager, Connection} |
11 |
11 |
12 |
12 |
13 object PostgreSQL |
13 object PostgreSQL |
14 { |
14 { |
15 /** database connection **/ |
|
16 |
|
17 val default_host = "localhost" |
|
18 val default_port = 5432 |
15 val default_port = 5432 |
19 |
16 |
20 def open_database( |
17 def open_database( |
21 user: String, |
18 user: String, |
22 password: String, |
19 password: String, |
32 (if (database != "") database else user) |
29 (if (database != "") database else user) |
33 val connection = DriverManager.getConnection("jdbc:postgresql://" + spec, user, password) |
30 val connection = DriverManager.getConnection("jdbc:postgresql://" + spec, user, password) |
34 new Database(spec, connection) |
31 new Database(spec, connection) |
35 } |
32 } |
36 |
33 |
37 class Database private[PostgreSQL](spec: String, val connection: Connection) |
34 class Database private[PostgreSQL](spec: String, val connection: Connection) extends SQL_Database |
38 { |
35 { |
39 override def toString: String = spec |
36 override def toString: String = spec |
40 } |
37 } |
41 } |
38 } |