[GitHub] [flink] lsyldliu commented on a diff in pull request #19859: [FLINK-27861][table] Introduce UserResourceManager to manage user defined resource

[GitBox <gi...@apache.org>]

lsyldliu commented on code in PR #19859:
URL: https://github.com/apache/flink/pull/19859#discussion_r897938663


##########
flink-table/flink-table-api-java/src/main/java/org/apache/flink/table/api/config/TableConfigOptions.java:
##########
@@ -178,6 +178,15 @@ private TableConfigOptions() {}
                     .withDescription(
                             "Specifies a threshold where class members of generated code will be grouped into arrays by types.");
 
+    @Documentation.TableOption(execMode = Documentation.ExecMode.BATCH_STREAMING)
+    @Documentation.OverrideDefault("System.getProperty(\"java.io.tmpdir\")")
+    public static final ConfigOption<String> DOWNLOADED_RESOURCES_TMP_DIR =
+            key("table.downloaded.resources.tmpdir")

Review Comment:
   In gateway, every session will need a unique subDir created with an UUID suffix, so we need to provide such option let gateway to control the resource download dir. In hive, it provide `DOWNLOADED_RESOURCES_DIR` used to control the downloaded path in every session



-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@flink.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org