[Commits] [wesnoth/wesnoth] e122da: update_server: Use $HOME/source for SOURCE_ROOT

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: e122da96e411e5bf2d436b92a12fa1ac52b0a1b2
      https://github.com/wesnoth/wesnoth/commit/e122da96e411e5bf2d436b92a12fa1ac52b0a1b2
  Author: Ignacio R. Morelle <shadowm at wesnoth.org>
  Date:   2014-06-11 (Wed, 11 Jun 2014)

  Changed paths:
    M utils/mp-server/update_server

  Log Message:
  -----------
  update_server: Use $HOME/source for SOURCE_ROOT

... instead of hardcoding a path in /usr. This should let server2 and
server3 use an unmodified copy of the script.