Restart dmedia-service upon upgrade
Bug #902856 reported by
Jason Gerard DeRose
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Dmedia |
Fix Released
|
High
|
Jason Gerard DeRose |
Bug Description
So this is a somewhat sticky problem that I'm not sure any Debian packaging policy has been developed around yet.
When dmedia is upgraded, we really want to kill the current dmedia-service (assuming it was running), force a restart.
The closest thing I can think of is the way Firefox prompts you to restart... the key thing being that this is a per-user process getting restarted (restarting system-wide stuff is easy, lots of examples to follow there).
Anyway, we'll have to do some research on this, see what DBus folks recommend, what Debian and RPM packaging policy might be out there for this already.
Thanks @robbt for brave testing that brought this issue up!
Related branches
lp:~jderose/dmedia/restart
- James Raymond: Approve
-
Diff: 102 lines (+26/-6)4 files modifieddebian/dmedia.postinst (+3/-1)
debian/dmedia.prerm (+7/-0)
dmedia-service (+11/-3)
init-filestore (+5/-2)
Changed in dmedia: | |
milestone: | 11.12 → 12.01 |
Changed in dmedia: | |
milestone: | 12.01 → 12.02 |
Changed in dmedia: | |
milestone: | 12.02 → 12.04 |
Changed in dmedia: | |
milestone: | 12.04 → 12.05 |
Changed in dmedia: | |
milestone: | 12.05 → 12.06 |
Changed in dmedia: | |
milestone: | 12.06 → 12.07 |
Changed in dmedia: | |
milestone: | 12.07 → 12.08 |
Changed in dmedia: | |
assignee: | nobody → Jason Gerard DeRose (jderose) |
status: | Triaged → In Progress |
Changed in dmedia: | |
status: | In Progress → Fix Committed |
Changed in dmedia: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Thanks to a tip from Bilal Akhtar, it seems like Pulse Audio might already do something like this, so that's where I'll start the research.