服务器开发中的TmpFile模块与URL模块详解
1. TmpFile模块
服务器在运行过程中，需要对临时文件所占用的磁盘空间进行管理。若磁盘空间不足，无法保存传入实体时，连接会被阻塞，直至空间可用或连接超时。若连接中断，其关联的临时文件需被删除。目前，临时文件主要用于存储HTTP请求中的传入实体。
1.1 TmpFile模块API
| 函数名 | 功能描述 |
|---|---|
newBodyFile | 为给定端口号分配新文件，若放弃创建则返回NONE |
getName | 获取文件名称 |
releasePort | 释放与指定端口号关联的文件，将其删除 |
setDiskLimit | 设置临时文件磁盘空间限制，需在创建临时文件前调用，大小以字节为单位，限制不超过10^9字节 |
1.2 数据类型定义
datatype TmpFile = TmpFile of {
