Roberto Bruggemann 520ca3a570 Close terminal pipe, when closing the pod panel ...

Moving `deletePipe()` in `componentWillUnmount()` ensures the pipe is deleted when:
1. the terminal is closed
2. the terminal is closed when closing the pod panel

The pipe still does not get deleted when popping out the terminal.

2018-01-31 15:07:55 +00:00

..

html

Consolidated API requests into single helper; added CSRF header

2017-02-20 09:34:18 -08:00

images

Asset fingerprinting

2016-04-20 12:33:22 +02:00

scripts

Close terminal pipe, when closing the pod panel

2018-01-31 15:07:55 +00:00

styles

Row alteration coloring

2018-01-05 17:46:45 +01:00