Skip to content

Commit 0deb7ea

Browse files
committed
Merge pull request #359 from TileDB-Inc/pfish/udf-timeout
Add timeout to registered task graph UDF environment.
2 parents bcad5c1 + 0cdec80 commit 0deb7ea

2 files changed

Lines changed: 48 additions & 0 deletions

File tree

openapi-v1.yaml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3892,6 +3892,13 @@ definitions:
38923892
client-side execution, the function will be executed on the server.
38933893
type: boolean
38943894
x-omitempty: true
3895+
timeout:
3896+
description: >
3897+
The maximum length of time this UDF is allowed to execute for before
3898+
it is killed and fails. If not present (or zero), the function is
3899+
allowed to run indefinitely (subject to the server’s global limits).
3900+
type: number
3901+
x-nullable: true
38953902

38963903
FragmentMetadata:
38973904
description: Fragment Metadata

openapi-v2.yaml

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -804,6 +804,24 @@ definitions:
804804
x-omitempty: true
805805
description: License text
806806

807+
GroupCreationResponse:
808+
type: object
809+
description: results of the successful group creation request
810+
properties:
811+
id:
812+
description: unique ID of the created group
813+
type: string
814+
example: "00000000-0000-0000-0000-000000000000"
815+
name:
816+
description: The name of the group. If must be unique within the group.
817+
type: string
818+
x-omitempty: false
819+
tiledb_uri:
820+
type: string
821+
x-nullable: false
822+
x-omitempty: false
823+
description: TileDB URI for access
824+
807825
GroupRegistrationRequest:
808826
type: object
809827
description: information for creating a new group with the passed configuration
@@ -855,6 +873,25 @@ definitions:
855873
description: the name of the access credentials to use. if unset, the default credentials will be used.
856874
type: string
857875

876+
GroupRegistrationResponse:
877+
type: object
878+
description: results of the successful group registration request
879+
properties:
880+
id:
881+
description: unique ID of the registered group
882+
type: string
883+
example: "00000000-0000-0000-0000-000000000000"
884+
name:
885+
description: The name of the group. If must be unique within the group.
886+
type: string
887+
x-omitempty: false
888+
tiledb_uri:
889+
type: string
890+
x-nullable: false
891+
x-omitempty: false
892+
description: TileDB URI for access
893+
894+
858895
GroupContentsRetrievalResponse:
859896
description: Object including a page of members of a group and pagination metadata
860897
type: object
@@ -1394,6 +1431,8 @@ paths:
13941431
responses:
13951432
201:
13961433
description: group created successfully
1434+
schema:
1435+
$ref: "#/definitions/GroupCreationResponse"
13971436
502:
13981437
description: Bad Gateway
13991438
default:
@@ -1413,6 +1452,8 @@ paths:
14131452
responses:
14141453
201:
14151454
description: group created successfully
1455+
schema:
1456+
$ref: "#/definitions/GroupRegistrationResponse"
14161457
502:
14171458
description: Bad Gateway
14181459
default:

0 commit comments

Comments
 (0)