Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove all old layers before adding a new root layer (fixes #2259) #2575

Merged
merged 3 commits into from
Jun 4, 2014
Merged

Remove all old layers before adding a new root layer (fixes #2259) #2575

merged 3 commits into from
Jun 4, 2014

Commits on Jun 4, 2014

  1. Remove all old layers when creating a new root. 

    Fixes servo#2259.
    @mbrubeck
    mbrubeck committed Jun 4, 2014
    Configuration menu
    Copy the full SHA
    e9efa60 View commit details
    Browse the repository at this point in the history

  2. Check the pipeline ID of the new root layer. 

    This isn't related to any known issue, but is just to ensure that the IDs are
set correctly within this function.
    @mbrubeck
    mbrubeck committed Jun 4, 2014
    Configuration menu
    Copy the full SHA
    2b0134b View commit details
    Browse the repository at this point in the history

  3. Remove unused delete_layer code.

    @mbrubeck
    mbrubeck committed Jun 4, 2014
    5 Configuration menu
    Copy the full SHA
    81601c2 View commit details
    Browse the repository at this point in the history