| Index: sky/tools/skydb
|
| diff --git a/sky/tools/skydb b/sky/tools/skydb
|
| index b7a4aa907f1a089b01d8a0849bc1a25f6b11c86a..b3b67db2cb9675cfb90d0feb860e58a310acbbe7 100755
|
| --- a/sky/tools/skydb
|
| +++ b/sky/tools/skydb
|
| @@ -144,8 +144,7 @@ class SkyDebugger(object):
|
| # not a magical "configuration" name.
|
| configuration = os.path.basename(os.path.normpath(self.paths.build_dir))
|
| server_root = self._server_root_for_url(args.url_or_path)
|
| - sky_server = SkyServer(self.paths, SKY_SERVER_PORT,
|
| - configuration, server_root)
|
| + sky_server = SkyServer(SKY_SERVER_PORT, configuration, server_root)
|
| return sky_server
|
|
|
| def _create_paths_for_build_dir(self, build_dir):
|
|
|