diff options
| author | Jules Laplace <julescarbon@gmail.com> | 2018-06-07 20:09:50 +0200 |
|---|---|---|
| committer | Jules Laplace <julescarbon@gmail.com> | 2018-06-07 20:09:50 +0200 |
| commit | f9ad8a4c20554bafaa5961ff44af0cec3f65fdb0 (patch) | |
| tree | 56e28191be4f386001c1771aefd6f2bf4d92d7ee /app/client/modules/pix2wav | |
| parent | d35e3045c985b4cc2203cefdf520556683fe72fe (diff) | |
try kill
Diffstat (limited to 'app/client/modules/pix2wav')
| -rw-r--r-- | app/client/modules/pix2wav/views/pix2wav.live.js | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/app/client/modules/pix2wav/views/pix2wav.live.js b/app/client/modules/pix2wav/views/pix2wav.live.js index 0f73a1f..551bcda 100644 --- a/app/client/modules/pix2wav/views/pix2wav.live.js +++ b/app/client/modules/pix2wav/views/pix2wav.live.js @@ -57,6 +57,9 @@ class Pix2WavLive extends Component { interrupt(){ this.props.actions.queue.stop_task('gpu') } + exit(){ + this.props.actions.queue.stop_task('gpu', { sigkill: true }) + } togglePlaying(){ if (this.props.opt.processing) { this.props.actions.live.pause() @@ -79,8 +82,8 @@ class Pix2WavLive extends Component { } // console.log('sequence', this.props.opt) return ( - <div className='app centered'> - <Player width={424} height={256} /> + <div className='app pix2wav centered'> + <Player width={256} height={256} /> <div className='params row'> <div className='column'> <ParamGroup @@ -183,7 +186,7 @@ class Pix2WavLive extends Component { > <Slider live name='sequence_frac' - min={0.0} max={0.5} type='float' + min={0.0} max={1} type='float' /> <Slider live name='process_frac' @@ -277,6 +280,10 @@ class Pix2WavLive extends Component { title={'GPU Busy'} onClick={() => this.interrupt()} >Interrupt</Button> + <Button + title={'Last resort'} + onClick={() => this.exit()} + >Exit</Button> </div> ) } @@ -290,6 +297,10 @@ class Pix2WavLive extends Component { title={'GPU Busy'} onClick={() => this.interrupt()} >Interrupt</Button> + <Button + title={'Last resort'} + onClick={() => this.exit()} + >Exit</Button> </div> ) } |
