schema.sql: index builds on source
authorHelmut Grohne <helmut@subdivi.de>
Mon, 13 Jan 2020 19:00:39 +0000 (20:00 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 13 Jan 2020 19:00:39 +0000 (20:00 +0100)
commitb0257acf96f39f27da4c2fadddf85a457fd5eb1f
treed6deafcea941c01167c74ce7fb11044cb8e64c0d
parent7276e444c374e597c32883aaa2305976b09b9071
schema.sql: index builds on source

The per-source page rendered by webapp.py incurs a lot of query that can
be sped up using this index.
schema.sql