Skip to content

Long-running requests should automatically cancel #15

Closed

Description

@kaylaerdmann

A user may want to cancel a request if it is taking too long. The editor service should handle for that.

When making a reference request or a definition request, we should be able to cancel the request if another (reference or definition request) is made before the current one has finished. It may make sense to also do this for an occurrences request.

Activity

  1. added this to the 0.1.0 milestone on Aug 12, 2015
  2. modified the milestone: on Dec 31, 2015
  3. modified the milestones: 0.4.0, on Feb 5, 2016
  4. changed the title [-]Handle cancelling certain requests when a new one is made.[/-] [+]Long-running requests should automatically cancel[/+] on Feb 5, 2016
  5. daviwil commented on Feb 5, 2016

    @daviwil
    Contributor

    Tweaking the intent of this one a little bit. I'm adding task timeout handling for any situation where it takes too long to complete a request due to the runspace being backed up.

  6. added a commit that references this issue on Feb 5, 2016
    e2b1950
  7. added a commit that references this issue on Jul 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions