Commit 6923cbdd8dc26762fe2e9e3c772821531acafa5b

Authored by David RENÉ
1 parent de89e4bf

back to previous behavior concerning database migration. update_db_version with …

…only DB_Version parameter
Showing 1 changed file with 9 additions and 9 deletions   Show diff stats
database/migration_sqlite3.anubis
@@ -210,16 +210,16 @@ public define Maybe(One) @@ -210,16 +210,16 @@ public define Maybe(One)
210 define Maybe(One) 210 define Maybe(One)
211 do_table_indexes 211 do_table_indexes
212 ( 212 (
213 - SQLite3DataBase db,  
214 - (LogLevel, String) -> One logger,  
215 - Migration _migration,  
216 - (SQLite3DataBase , DB_Version) -> One update_db_version 213 + SQLite3DataBase db,
  214 + (LogLevel, String) -> One logger,
  215 + Migration _migration,
  216 + (DB_Version) -> One update_db_version
217 )= 217 )=
218 since _migration is migration(mig_version, _, create_tables, create_indexes), 218 since _migration is migration(mig_version, _, create_tables, create_indexes),
219 219
220 if create_tables(db, logger) is success(_) then 220 if create_tables(db, logger) is success(_) then
221 if create_indexes(db, logger) is success(_) then 221 if create_indexes(db, logger) is success(_) then
222 - update_db_version(db, mig_version); 222 + update_db_version(mig_version);
223 success(unique) 223 success(unique)
224 else 224 else
225 failure 225 failure
@@ -235,7 +235,7 @@ define Maybe(One) @@ -235,7 +235,7 @@ define Maybe(One)
235 // String current_version, //current version of app 235 // String current_version, //current version of app
236 DB_Version db_ver, //version found in db settings 236 DB_Version db_ver, //version found in db settings
237 List(Migration) migrations, 237 List(Migration) migrations,
238 - (SQLite3DataBase , DB_Version) -> One update_db_version 238 + (DB_Version) -> One update_db_version
239 ) = 239 ) =
240 if migrations is 240 if migrations is
241 { 241 {
@@ -250,7 +250,7 @@ define Maybe(One) @@ -250,7 +250,7 @@ define Maybe(One)
250 if migrate_to(db, logger) is failure then 250 if migrate_to(db, logger) is failure then
251 failure 251 failure
252 else 252 else
253 - update_db_version(db, migration_version); 253 + update_db_version(migration_version);
254 do_migration_loop(db, logger, migration_version, t, update_db_version) 254 do_migration_loop(db, logger, migration_version, t, update_db_version)
255 255
256 more then 256 more then
@@ -266,7 +266,7 @@ define Maybe(One) @@ -266,7 +266,7 @@ define Maybe(One)
266 if migrate_to(db, logger) is failure then 266 if migrate_to(db, logger) is failure then
267 failure 267 failure
268 else 268 else
269 - update_db_version(db, migration_version); 269 + update_db_version(migration_version);
270 do_migration_loop(db, logger, migration_version, t, update_db_version) 270 do_migration_loop(db, logger, migration_version, t, update_db_version)
271 } 271 }
272 }. 272 }.
@@ -277,7 +277,7 @@ public define Maybe(One) @@ -277,7 +277,7 @@ public define Maybe(One)
277 SQLite3DataBase db, 277 SQLite3DataBase db,
278 (LogLevel, String) -> One logger, 278 (LogLevel, String) -> One logger,
279 DB_Version current_db_version, 279 DB_Version current_db_version,
280 - (SQLite3DataBase , DB_Version) -> One update_db_version, 280 + (DB_Version) -> One update_db_version,
281 List(Migration) all_migrations, 281 List(Migration) all_migrations,
282 )= 282 )=
283 if is_empty_database(db) then // new empty database 283 if is_empty_database(db) then // new empty database