[Bug 696579] New: registry update should set older timestamp on registry

[GStreamer (bugzilla.gnome.org)]

https://bugzilla.gnome.org/show_bug.cgi?id=696579
  GStreamer | gstreamer (core) | git

           Summary: registry update should set older timestamp on registry
    Classification: Platform
           Product: GStreamer
           Version: git
        OS/Version: Linux
            Status: NEW
          Severity: minor
          Priority: Normal
         Component: gstreamer (core)
        AssignedTo: gstreamer-bugs at lists.freedesktop.org
        ReportedBy: ds at schleef.org
         QAContact: gstreamer-bugs at lists.freedesktop.org
     GNOME version: ---


The race:

 - package manager starts updating plugin files
 - some app starts up, which starts updating registry
 - package manager updates a few more plugins
 - registry gets written, with current timestamp

There's a window of opportunity for some plugins to be installed, but not
included in the new registry.

I suggest setting the timestamp of the file to the time when the registry
information gathering started.

-- 
Configure bugmail: https://bugzilla.gnome.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
You are the assignee for the bug.