** Changed in: mir
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1276704
Title:
[enhancement] Need way of getting PID of Session
To manage notifications
** Changed in: mir
Importance: High = Medium
** Changed in: mir (Ubuntu)
Importance: High = Medium
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1276704
Title:
[enhancement] Need way of
This bug was fixed in the package mir - 0.1.5+14.04.20140212-0ubuntu1
---
mir (0.1.5+14.04.20140212-0ubuntu1) trusty; urgency=medium
[ Kevin Gunn ]
* Cherry-picked from future release 0.1.6:
- frontend, shell: provide the client process ID in the shell::Session
** Branch linked: lp:ubuntu/trusty-proposed/mir
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1276704
Title:
[enhancement] Need way of getting PID of Session
To manage notifications about this bug
Fix committed into lp:mir/devel at revision None, scheduled for release
in mir, milestone Unknown
** Changed in: mir
Status: In Progress = Fix Committed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
NOTE: The fix is being pushed to archive lp:mir EARLY ahead of
development-branch, as part of:
https://code.launchpad.net/~mir-team/mir/trunk-0.1.5/+merge/205432
** Branch linked: lp:~mir-team/mir/trunk-0.1.5
** Also affects: mir (Ubuntu)
Importance: Undecided
Status: New
**
