From 7d154e38d13faa5ec5ae0bdec0e13408b9320181 Mon Sep 17 00:00:00 2001 From: Brian Ford Date: Fri, 30 Oct 2015 11:30:51 -0700 Subject: [PATCH] chore(gulp): rename serve/examples to serve/playground --- gulpfile.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gulpfile.js b/gulpfile.js index 214068ca2d..facf378e01 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -387,13 +387,13 @@ gulp.task('!proxyServeDart', proxyServeDart); gulp.task('serve.dart', function(done) { runSequence([ '!proxyServeDart', - 'serve/examples.dart', + 'serve/playground.dart', 'serve/benchmarks.dart', 'serve/benchmarks_external.dart' ], done); }); -gulp.task('serve/examples.dart', pubserve(gulp, gulpPlugins, { +gulp.task('serve/playground.dart', pubserve(gulp, gulpPlugins, { command: DART_SDK.PUB, path: CONFIG.dest.dart + '/playground', port: 8004