Jonathan Leibiusky 65b8364ef2 Now both index.html and landing.html can be changes for specific (#224) ...

playgrounds. By default they will be served from `www/default` if no
override has been specified

2017-11-22 17:32:41 -03:00

..

bootstrap.go

Now both index.html and landing.html can be changes for specific (#224)

2017-11-22 17:32:41 -03:00

close_session.go

Add close session endpoint

2017-09-26 09:38:08 -03:00

cookie_id.go

Add Docker ID integration

2017-10-10 15:27:53 -03:00

delete_instance.go

If session doesn't exist, don't panic!

2017-08-30 18:55:13 -03:00

exec.go

WIP

2017-05-23 19:29:36 -03:00

file_upload.go

Unify file upload strategies

2017-07-10 18:53:33 -03:00

get_instance_images.go

Multiple playgrounds support (#215)

2017-11-14 15:50:04 -03:00

get_session.go

Refactor storage to support shallow types.

2017-09-01 20:12:19 -03:00

home.go

Now both index.html and landing.html can be changes for specific (#224)

2017-11-22 17:32:41 -03:00

login.go

Use a better uuid library

2017-11-14 16:42:02 -03:00

new_instance.go

Multiple playgrounds support (#215)

2017-11-14 15:50:04 -03:00

new_session.go

Multiple playgrounds support (#215)

2017-11-14 15:50:04 -03:00

ping.go

Make ping not use docker/docker and update Dockerfiles

2017-11-09 15:28:31 -03:00

playground.go

Make it so the playground can decide which index file to serve. (#223)

2017-11-22 16:47:01 -03:00

session_setup.go

Rename Host to PlaygroundFQDN

2017-09-12 17:58:56 -03:00

terms.go

Show a message when connection to terminal has been lost

2017-09-08 15:32:20 -03:00

user.go

Handle user not found error and only return user's public info

2017-10-17 12:02:35 +02:00

ws.go

Use a better uuid library

2017-11-14 16:42:02 -03:00