darcs

Patch 1241 patch index: adapt removePidSuffix to the new order of...

Title patch index: adapt removePidSuffix to the new order of...
Superseder Nosy List gh
Related Issues
Status rejected Assigned To
Milestone

Created on 2014-12-12.00:19:32 by gh, last changed 2014-12-12.00:25:34 by gh.

Files
File name Status Uploaded Type Edit Remove
patch-index_-adapt-removepidsuffix-to-the-new-order-of-pids.dpatch gh, 2014-12-12.00:19:32 application/x-darcs-patch
patch-preview.txt gh, 2014-12-12.00:19:32 text/x-darcs-patch
unnamed gh, 2014-12-12.00:19:32
See mailing list archives for discussion on individual patches.
Messages
msg17897 (view) Author: gh Date: 2014-12-12.00:19:32
A fix for the above bug:

removePidSuffix relies on patch ids order (see local functions before and beforeM),
so each time we run updatePatchIndexOnDisk we wrongly remove a LOT of stuff.

1 patch for repository http://darcs.net:

patch d4c048973c03f929f544600f1661fc1d50eef3e0
Author: Guillaume Hoffmann <guillaumh@gmail.com>
Date:   Thu Dec 11 21:01:03 ART 2014
  * patch index: adapt removePidSuffix to the new order of pids
Attachments
History
Date User Action Args
2014-12-12 00:19:32ghcreate
2014-12-12 00:25:34ghsetstatus: needs-screening -> rejected