[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-17 Thread StephanEwen
Github user StephanEwen commented on the pull request: https://github.com/apache/flink/pull/1019#issuecomment-131756217 I merged this in 3c1b5f0e7f28d18868e941712d2ca42b140ef3a0 , but forgot the closing message. Can you manually close this pull request? Thank you!

[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-17 Thread chenliang613
Github user chenliang613 commented on the pull request: https://github.com/apache/flink/pull/1019#issuecomment-131911333 ok, done! --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not have this

[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-17 Thread chenliang613
Github user chenliang613 closed the pull request at: https://github.com/apache/flink/pull/1019 --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not have this feature enabled and wishes so, or if the feature

[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-16 Thread StephanEwen
Github user StephanEwen commented on the pull request: https://github.com/apache/flink/pull/1019#issuecomment-131578024 This looks good, will merge this! --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project

[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-15 Thread chenliang613
GitHub user chenliang613 opened a pull request: https://github.com/apache/flink/pull/1019 Some updates for programming_guide.md Some updates for the section Program Skeleton of programming_guide.md You can merge this pull request into a Git repository by running: $ git pull

[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-15 Thread StephanEwen
Github user StephanEwen commented on the pull request: https://github.com/apache/flink/pull/1019#issuecomment-131403119 Most of this is good, but in parts, it confuses the `DataSet` and `DataStream` API. The `DataSet` API has no functionality to write to sockets. --- If your project

[GitHub] flink pull request: Some updates for programming_guide.md

2015-08-15 Thread chenliang613
Github user chenliang613 commented on the pull request: https://github.com/apache/flink/pull/1019#issuecomment-131405427 ok, update the sockets part. --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does