code: def destroy_server(server_id):
      ''' Given a UUID id of a div removed or replaced in the Jupyter
      notebook, destroy the corresponding server sessions and stop it.
  
      '''
      server = curstate().uuid_to_server.get(server_id, None)
      if server is None:
          log.debug("No server instance found for uuid: %r" % server_id)
          return
  
      try:
          for session in server.get_sessions():
              session.destroy()
          server.stop()
          del curstate().uuid_to_server[server_id]
  
      except Exception as e:
          log.debug("Could not destroy server for id %r: %s" % (server_id, e)f destroy_server(server_id):
      ''' Given a UUID id of a div removed or replaced in the Jupyter
      notebook, destroy the corresponding server sessions and stop it.
  
      '''
      server = curstate().uuid_to_server.get(server_id, None)
      if server is None:
          log.debug("No server instance found for uuid: %r" % server_id)
          return
  
      try:
          for session in server.get_sessions():
              session.destroy()
          server.stop()
          del curstate().uuid_to_server[server_id]
  
      except Exception as e:
          log.debug("Could not destroy server for id %r: %s" % (server_id, e))
docs: Given a UUID id of a div removed or replaced in the Jupyter
      notebook, destroy the corresponding server sessions and stop it.