mirror of
https://gitee.com/dgiiot/dgiot.git
synced 2024-12-07 14:48:55 +08:00
15 lines
316 B
Plaintext
15 lines
316 B
Plaintext
{mapping, "task.page_index", "dgiot_task.page_index", [
|
|
{default, 1},
|
|
{datatype, integer}
|
|
]}.
|
|
|
|
{mapping, "task.dev_total", "dgiot_task.dev_total", [
|
|
{default, 5000},
|
|
{datatype, integer}
|
|
]}.
|
|
|
|
{mapping, "task.page_size", "dgiot_task.page_size", [
|
|
{default, 5000},
|
|
{datatype, integer}
|
|
]}.
|