Skip to content
Snippets Groups Projects
Select Git revision
  • 6e1447bdadb0b9bdca76eaf517687b757a52c2b0
  • develop default
  • 102-Utest
  • 96-method_i
  • 89-str_to_array
  • 91-output
  • master
  • 87-method-d-swallowed-obstacles
  • feature_trajectory_correction
  • Issue_63
  • Issue_61
  • refactor_SteadyState
  • v0.8.3
  • v0.8.2
  • v0.8.1
  • v0.8
  • v0.7
  • v0.6
18 results

correct_trajectories.py

Blame
  • api_setup_tunnel.py 3.11 KiB
    import asyncio
    import datetime
    import json
    import os
    
    from jupyterhub.apihandlers import default_handlers
    from jupyterhub.apihandlers.base import APIHandler
    from jupyterhub.scopes import needs_scope
    from tornado import web
    from tornado.httpclient import HTTPRequest
    
    
    class SetupTunnelAPIHandler(APIHandler):
        @needs_scope("access:servers")
        async def post(self, user_name, server_name=""):
            self.set_header("Cache-Control", "no-cache")
            if server_name is None:
                server_name = ""
            user = self.find_user(user_name)
            if user is None:
                # no such user
                raise web.HTTPError(404)
            if server_name not in user.spawners:
                # user has no such server
                raise web.HTTPError(404)
            body = self.request.body.decode("utf8")
            json_body = json.loads(body) if body else {}
    
            user = self.find_user(user_name)
            spawner = user.spawners[server_name]
    
            if spawner._stop_pending:
                self.log.debug(
                    "APICall: SetupTunnel - but spawner is already stopping.",
                    extra={
                        "log_name": spawner._log_name,
                        "user": user_name,
                        "action": "setuptunnel",
                        "event": json_body,
                    },
                )
                self.set_header("Content-Type", "text/plain")
                self.write("Bad Request.")
                self.set_status(400)
                return
    
            if json_body:
                self.log.debug(
                    "APICall: SetupTunnel",
                    extra={
                        "log_name": spawner._log_name,
                        "user": user_name,
                        "action": "setuptunnel",
                        "event": json_body,
                    },
                )
                try:
                    spawner.port_forward_info = json_body
                    await spawner.run_ssh_forward()
                except Exception as e:
                    now = datetime.datetime.now().strftime("%Y_%m_%d %H:%M:%S.%f")[:-3]
                    failed_event = {
                        "progress": 100,
                        "failed": True,
                        "html_message": f"<details><summary>{now}: Could not setup tunnel</summary>{str(e)}</details>",
                    }
                    self.log.exception(
                        f"Could not setup tunnel for {user_name}:{server_name}",
                        extra={
                            "log_name": spawner._log_name,
                            "user": user_name,
                            "action": "tunnelfailed",
                            "event": failed_event,
                        },
                    )
                    asyncio.create_task(spawner.stop(cancel=True, event=failed_event))
                self.set_header("Content-Type", "text/plain")
                self.set_status(204)
                return
            else:
                self.set_header("Content-Type", "text/plain")
                self.write("Bad Request.")
                self.set_status(400)
                return
    
    
    default_handlers.append((r"/api/users/setuptunnel/([^/]+)", SetupTunnelAPIHandler))
    default_handlers.append(
        (r"/api/users/setuptunnel/([^/]+)/([^/]+)", SetupTunnelAPIHandler)
    )