Fossil SCM
Extended the repo/checkout fingerprint mismatch warning to offer an interim workaround, per forumpost/5f9d4cef56.
Commit
bf7c2e94f164feb753f0eb686b1415cf7f8edd07a557ff4ebdc9d219a9d6494b
Parent
8cb1b231dc1cfe6…
1 file changed
+7
M
src/db.c
+7
| --- src/db.c | ||
| +++ src/db.c | ||
| @@ -1672,10 +1672,17 @@ | ||
| 1672 | 1672 | "has been swapped with a clone that may have different\n" |
| 1673 | 1673 | "integer keys for the various artifacts. As of 2019-01-11,\n" |
| 1674 | 1674 | "we are working on enhancing Fossil to be able to deal with\n" |
| 1675 | 1675 | "that automatically, but we are not there yet. Sorry.\n\n" |
| 1676 | 1676 | ); |
| 1677 | + fossil_print( | |
| 1678 | + "As an interim workaround, try:\n" | |
| 1679 | + " %s close --force\n" | |
| 1680 | + " %s open \"%s\" --keep\n\n", | |
| 1681 | + g.argv[0], | |
| 1682 | + g.argv[0], zDbName | |
| 1683 | + ); | |
| 1677 | 1684 | fossil_fatal("bad fingerprint"); |
| 1678 | 1685 | } |
| 1679 | 1686 | } |
| 1680 | 1687 | |
| 1681 | 1688 | /* |
| 1682 | 1689 |
| --- src/db.c | |
| +++ src/db.c | |
| @@ -1672,10 +1672,17 @@ | |
| 1672 | "has been swapped with a clone that may have different\n" |
| 1673 | "integer keys for the various artifacts. As of 2019-01-11,\n" |
| 1674 | "we are working on enhancing Fossil to be able to deal with\n" |
| 1675 | "that automatically, but we are not there yet. Sorry.\n\n" |
| 1676 | ); |
| 1677 | fossil_fatal("bad fingerprint"); |
| 1678 | } |
| 1679 | } |
| 1680 | |
| 1681 | /* |
| 1682 |
| --- src/db.c | |
| +++ src/db.c | |
| @@ -1672,10 +1672,17 @@ | |
| 1672 | "has been swapped with a clone that may have different\n" |
| 1673 | "integer keys for the various artifacts. As of 2019-01-11,\n" |
| 1674 | "we are working on enhancing Fossil to be able to deal with\n" |
| 1675 | "that automatically, but we are not there yet. Sorry.\n\n" |
| 1676 | ); |
| 1677 | fossil_print( |
| 1678 | "As an interim workaround, try:\n" |
| 1679 | " %s close --force\n" |
| 1680 | " %s open \"%s\" --keep\n\n", |
| 1681 | g.argv[0], |
| 1682 | g.argv[0], zDbName |
| 1683 | ); |
| 1684 | fossil_fatal("bad fingerprint"); |
| 1685 | } |
| 1686 | } |
| 1687 | |
| 1688 | /* |
| 1689 |