blob: 3efdc5a600085577a7e7e5afab5375f6d91a9509 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
import sys
import sqlite3
def main(argv):
paths = argv[1:]
for path in paths:
# https://github.com/nedbat/coveragepy/issues/903
conn = sqlite3.connect(path)
conn.execute("UPDATE file set path = REPLACE(path, '\\', '/')")
conn.commit()
conn.close()
if __name__ == "__main__":
sys.exit(main(sys.argv))
|