Dimitri Fontaine
4612e68435
Implement support for new casting rules guards and actions.
...
Namely the actions are “keep extra” and “drop extra” and the casting rule
guard is “with extra on update current timestamp”. Having support for those
elements in the casting rules allow such a definition as the following:
type timestamp with extra on update current timestamp
to "timestamp with time zone" drop extra
The effect of such as cast rule would be to ignore the MySQL extra
definition and then refrain pgloader from creating the PostgreSQL triggers
that implement the same behavior.
Fix #735 .
2018-01-31 15:17:05 +01:00
..
2017-08-24 13:30:14 +02:00
2018-01-31 15:17:05 +01:00
2016-02-04 16:09:22 +01:00
2017-08-24 13:30:14 +02:00
2017-11-28 18:19:12 +01:00
2013-10-19 22:39:09 +02:00
2015-10-05 01:46:29 +02:00
2013-11-26 16:48:45 +01:00
2016-08-28 20:29:30 +02:00
2013-11-26 16:48:45 +01:00
2015-04-17 21:58:19 +02:00
2015-04-30 14:30:16 +02:00
2017-08-25 01:57:54 +02:00
2014-06-20 13:10:39 +02:00
2014-04-27 23:38:02 +02:00
2017-08-25 01:57:54 +02:00
2017-08-25 01:57:54 +02:00
2017-08-25 01:57:54 +02:00
2017-08-25 01:57:54 +02:00
2017-09-09 00:59:39 +02:00
2017-09-09 00:51:07 +02:00
2017-01-10 21:12:34 +01:00
2017-08-25 01:57:54 +02:00
2014-01-11 18:28:24 +01:00
2017-08-25 01:57:54 +02:00
2014-02-04 20:58:46 +01:00
2017-08-25 01:57:54 +02:00
2014-10-02 01:17:24 +02:00
2017-03-04 15:55:08 +01:00
2015-09-21 13:23:21 +02:00
2014-01-11 18:28:24 +01:00
2014-06-16 17:33:14 +02:00
2013-10-19 22:39:09 +02:00
2015-09-04 01:06:15 +02:00
2015-11-23 22:09:08 +01:00
2015-05-15 07:22:07 -07:00
2017-08-25 01:57:54 +02:00
2014-05-04 23:04:45 +02:00
2017-08-25 01:57:54 +02:00
2017-09-09 00:51:07 +02:00
2013-11-26 16:48:45 +01:00
2014-06-03 12:19:23 +02:00
2016-01-17 01:54:36 +01:00
2013-10-13 22:10:07 +02:00
2013-10-19 22:39:09 +02:00
2016-12-18 19:31:21 +01:00
2017-08-24 14:56:59 +02:00
2013-10-19 22:39:09 +02:00
2013-10-19 22:39:09 +02:00
2014-05-16 23:13:57 +02:00
2017-07-17 11:04:12 +02:00
2017-08-16 01:33:11 +02:00
2017-06-08 12:09:11 +02:00
2017-08-16 01:33:11 +02:00
2017-09-13 22:55:10 +02:00
2013-11-23 21:49:08 +01:00
2014-10-02 01:17:24 +02:00