chore(gulp): rename serve/examples to serve/playground

This commit is contained in:
Brian Ford 2015-10-30 11:30:51 -07:00
parent 78875d57c8
commit 7d154e38d1
1 changed files with 2 additions and 2 deletions

View File

@ -387,13 +387,13 @@ gulp.task('!proxyServeDart', proxyServeDart);
gulp.task('serve.dart', function(done) { gulp.task('serve.dart', function(done) {
runSequence([ runSequence([
'!proxyServeDart', '!proxyServeDart',
'serve/examples.dart', 'serve/playground.dart',
'serve/benchmarks.dart', 'serve/benchmarks.dart',
'serve/benchmarks_external.dart' 'serve/benchmarks_external.dart'
], done); ], done);
}); });
gulp.task('serve/examples.dart', pubserve(gulp, gulpPlugins, { gulp.task('serve/playground.dart', pubserve(gulp, gulpPlugins, {
command: DART_SDK.PUB, command: DART_SDK.PUB,
path: CONFIG.dest.dart + '/playground', path: CONFIG.dest.dart + '/playground',
port: 8004 port: 8004