Merge lp:~mterry/mir/dev-unregistered-options into lp:mir
Proposed by
Robert Carr
Status: | Merged |
---|---|
Approved by: | Michael Terry |
Approved revision: | no longer in the source branch. |
Merged at revision: | 1094 |
Proposed branch: | lp:~mterry/mir/dev-unregistered-options |
Merge into: | lp:mir |
Diff against target: |
12 lines (+2/-1) 1 file modified
src/server/options/program_option.cpp (+2/-1) |
To merge this branch: | bzr merge lp:~mterry/mir/dev-unregistered-options |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
PS Jenkins bot (community) | continuous-integration | Approve | |
Robert Carr (community) | Approve | ||
Review via email: mp+188177@code.launchpad.net |
This proposal supersedes a proposal from 2013-09-27.
Commit message
Ignore unknown options instead of aborting.
Description of the change
Ignore unknown options instead of aborting.
This fixes bug 1226227, which is blocking using Mir on the phone because it causes unity8 under autopilot to crash.
Alan G prefers a better long term solution, but seemed open to this as a short term one.
This is the 13.10 development version of https:/
To post a comment you must log in.
Mergomatic.