2022-05-13 21:00:51 +00:00
|
|
|
#[cfg(feature = "parallel")]
|
2022-05-15 19:38:46 +00:00
|
|
|
// Specifies how many concurrent jobs can be buffered in the worker channel.
|
2022-02-26 23:30:19 +00:00
|
|
|
pub const MAX_CONCURRENT_TASKS: usize = 64;
|
|
|
|
|
|
2022-10-06 16:35:03 +00:00
|
|
|
// Specifies how deep various forms of computation will go before the query fails.
|
|
|
|
|
pub const MAX_COMPUTATION_DEPTH: u8 = 30;
|
2022-02-22 14:16:50 +00:00
|
|
|
|
|
|
|
|
// The characters which are supported in server record IDs.
|
|
|
|
|
pub const ID_CHARS: [char; 36] = [
|
|
|
|
|
'0', '1', '2', '3', '4', '5', '6', '7', '8', '9', 'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i',
|
|
|
|
|
'j', 'k', 'l', 'm', 'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z',
|
|
|
|
|
];
|
