[GitHub] hawq issue #1411: update hawq stop options

[daixiang0]

Github user daixiang0 commented on the issue:

    https://github.com/apache/hawq/pull/1411
  
    @jiny2 @huor Hi, the failure seems jenkins env issue. Could input anything?


---