| commit | 05c04a592efd3ef5dccd339e82ec077b661f2822 | [log] [tgz] |
|---|---|---|
| author | Ivan Pilat <ivanpi@google.com> | Fri Dec 19 14:58:11 2014 -0800 |
| committer | Ivan Pilat <ivanpi@google.com> | Fri Dec 19 14:58:11 2014 -0800 |
| tree | 8ac38a9c8a74881564dd68dc12b114e869e013d8 | |
| parent | 10582960e71bf67c595b8176f0112b261df72bc6 [diff] |
playground: Enable realtime streaming of playground output. Addressed comments by @sadovsky.