On 30 Jun 2015, at 10:26, Fabian Hueske <fhue...@gmail.com> wrote:

> Hi,
> 
> thanks for starting this thread!
> 
> I prefer "stop" over "terminate" because it sounds more graceful. A
> temporary stop could be called "pause".

+1 to stop.

– Ufuk

Reply via email to