You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tinkerpop.apache.org by "stephen mallette (JIRA)" <ji...@apache.org> on 2018/06/18 13:43:00 UTC

[jira] [Updated] (TINKERPOP-1778) Do not promote timedInterrupt option for Gremlin Server script processing

     [ https://issues.apache.org/jira/browse/TINKERPOP-1778?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

stephen mallette updated TINKERPOP-1778:
----------------------------------------
    Summary: Do not promote timedInterrupt option for Gremlin Server script processing  (was: Deprecate timedInterrupt option for Gremlin Server script processing)

> Do not promote timedInterrupt option for Gremlin Server script processing
> -------------------------------------------------------------------------
>
>                 Key: TINKERPOP-1778
>                 URL: https://issues.apache.org/jira/browse/TINKERPOP-1778
>             Project: TinkerPop
>          Issue Type: Improvement
>          Components: server
>    Affects Versions: 3.2.6
>            Reporter: stephen mallette
>            Assignee: stephen mallette
>            Priority: Minor
>              Labels: deprecation
>
> The {{timedInterrupt}} option is not terribly useful because it basically does what the combination of the regular {{scriptEvaluationTimeout}} with the {{enableThreadInterrupt}} does. In fact it sort of competes with it, which can lead to some different error paths which mean the same thing. 



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)