diff options
author | shaan <s.rauniyar@jacobs-university.de> | 2009-07-02 18:22:53 +0200 |
---|---|---|
committer | costea <costea@ubuntu.ubuntu-domain> | 2010-06-08 15:45:22 +0200 |
commit | 0581040e01561f7ae417dc24fe3b87b989297585 (patch) | |
tree | 4716e9877b8d8a08d54b019bd2cf557a90d1a8f2 /rasmgr/rasmgr_config.hh | |
parent | 717912006114501254564d1d3a5ca391cecb38b0 (diff) | |
download | rasdaman-upstream-0581040e01561f7ae417dc24fe3b87b989297585.tar.gz rasdaman-upstream-0581040e01561f7ae417dc24fe3b87b989297585.tar.xz rasdaman-upstream-0581040e01561f7ae417dc24fe3b87b989297585.zip |
Module for rasmgr
Diffstat (limited to 'rasmgr/rasmgr_config.hh')
-rw-r--r-- | rasmgr/rasmgr_config.hh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rasmgr/rasmgr_config.hh b/rasmgr/rasmgr_config.hh index e2a24aa..fdb453e 100644 --- a/rasmgr/rasmgr_config.hh +++ b/rasmgr/rasmgr_config.hh @@ -52,6 +52,9 @@ const int DEFAULT_POLLING_FREQUENCY = 200; /// host/domain name size (See man gethostname) #define HOSTNAME_SIZE 255 +/** + * \ingroup Rasmgrs + */ class Configuration { public: @@ -115,6 +118,9 @@ class Configuration extern Configuration config; +/** + * \ingroup Rasmgrs + */ class BenchmarkTimer { public: |