OpenShell使用指南:从下载安装到配置部署,还你一个顺手的Windows开始菜单
2026/10/6 4:57:36
服务器在运行过程中,需要对临时文件所占用的磁盘空间进行管理。若磁盘空间不足,无法保存传入实体时,连接会被阻塞,直至空间可用或连接超时。若连接中断,其关联的临时文件需被删除。目前,临时文件主要用于存储HTTP请求中的传入实体。
| 函数名 | 功能描述 |
|---|---|
newBodyFile | 为给定端口号分配新文件,若放弃创建则返回NONE |
getName | 获取文件名称 |
releasePort | 释放与指定端口号关联的文件,将其删除 |
setDiskLimit | 设置临时文件磁盘空间限制,需在创建临时文件前调用,大小以字节为单位,限制不超过10^9字节 |
datatype TmpFile = TmpFile of {