scripts: Add worker option to refresh database.
authorRicardo Wurmus <rekado@elephly.net>
Thu, 12 Mar 2020 09:57:47 +0000 (10:57 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Thu, 12 Mar 2020 09:57:47 +0000 (10:57 +0100)
commit5d549c5bb793d4186559f77494f0ffce9fa15e61
tree1722eebb0528d4154927431dd4edee18b1f4750e
parent4052368bb5372a9f4c6164ef71d3bcd7ede9e81b
scripts: Add worker option to refresh database.

* scripts/mumi.in: Update the mu index and the Sqlite database when
the "--worker" option is provided.
scripts/mumi.in