GNU bug report logs - #44303
28.0.50; json-pretty-print-buffer creates spurious lock file

Previous Next

Full log

Message #11 received at 44303 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Simen Heggestøyl <simenheg <at> runbox.com>
Cc: 44303 <at> debbugs.gnu.org
Subject: Re: bug#44303: 28.0.50; json-pretty-print-buffer creates spurious
 lock file
Date: Fri, 30 Oct 2020 14:31:32 +0100

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> But is that even needed here?  Don't the later
> Finsert_buffer_substring/del_range_both functions do the necessary
> bookkeeping?

Aha, it was previously:

-      /* If k >= l, it means nothing needs to be deleted.  */
-      if (k < l)
-	prepare_to_modify_buffer (from, to, NULL);
+      prepare_to_modify_buffer (from, to, NULL);

So it needs to be done in the del_range_both case?  Which makes some
sense.  Perhaps it can just be moved down into the loop (and done once
if it hasn't been done before)?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.