(x)
| 87 | |
| 88 | // Parse server hostname:port from command line arguments |
| 89 | function ServerDetails(x) { |
| 90 | if (!(this instanceof ServerDetails)) return new ServerDetails(x); |
| 91 | const v = x.split(':'); |
| 92 | this.hostname = (v[0].length > 0) ? v[0] : ''; |
| 93 | this.port = (v.length > 1) ? Number(v[1]) : 80; |
| 94 | } |
| 95 | // Parse geographic bounding box coordinates from command line |
| 96 | function BoundingBox(x) { |
| 97 | if (!(this instanceof BoundingBox)) return new BoundingBox(x); |