| Package | Description |
|---|---|
| org.apache.tinkerpop.gremlin.server |
| Modifier and Type | Field and Description |
|---|---|
Settings.ServerMetrics |
Settings.metrics
Configured metrics for Gremlin Server.
|
| Modifier and Type | Method and Description |
|---|---|
Optional<Settings.ServerMetrics> |
Settings.optionalMetrics() |
Copyright © 2013–2015 Apache Software Foundation. All rights reserved.