Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

User can now specify a port for the live dev server #6815

Merged
merged 5 commits into from
Feb 14, 2014
Merged

User can now specify a port for the live dev server #6815

merged 5 commits into from
Feb 14, 2014

Commits on Feb 10, 2014

  1. User can now specify a port for the live dev server

    Andy Heimdahl committed Feb 10, 2014
    Configuration menu
    Copy the full SHA
    9ce04d9 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2014

  1. Merge remote-tracking branch 'upstream/master' into livedev-port

    Andy Heimdahl committed Feb 12, 2014
    Configuration menu
    Copy the full SHA
    f0a19e3 View commit details
    Browse the repository at this point in the history

  2. pull port pref at time of getServer instead of at brackets load

    Andy Heimdahl committed Feb 12, 2014
    Configuration menu
    Copy the full SHA
    d89c842 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/master' into livedev-port

    Andy Heimdahl committed Feb 12, 2014
    Configuration menu
    Copy the full SHA
    d5dd7b8 View commit details
    Browse the repository at this point in the history

  4. Refactored to detect port changes between LiveDev launches.

    Andy Heimdahl committed Feb 12, 2014
    Configuration menu
    Copy the full SHA
    5df149d View commit details
    Browse the repository at this point in the history