From 9a0a96dbbd3badd69dbf7e08df8d54040544b659 Mon Sep 17 00:00:00 2001
From: Darin Petkov <petkov@chromium.org>
Date: Fri, 19 Mar 2010 16:24:45 -0700
Subject: [PATCH] Move the dev server script to src/scripts and remove the .sh
 extension.

Review URL: http://codereview.chromium.org/1153005
---
 start_devserver | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 start_devserver

diff --git a/start_devserver b/start_devserver
new file mode 100755
index 0000000000..d7f22e3244
--- /dev/null
+++ b/start_devserver
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+# Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
+# Use of this source code is governed by a BSD-style license that can be
+# found in the LICENSE file.
+
+# Start the Dev Server after making sure we are running under a chroot.
+
+COMMON_SH="$(dirname "$0")/common.sh"
+. "$COMMON_SH"
+
+# Script must be run inside the chroot.
+assert_inside_chroot
+
+cd ${GCLIENT_ROOT}/src/platform/dev && python devserver.py