-int OS_ReadDBConf(int test_config, char *cfgfile, DBConfig *db_config);
-
-
-/* Inserts server info to the db. */
-int OS_Server_ReadInsertDB(void *db_config);
+int OS_ReadDBConf(int test_config, const char *cfgfile, DBConfig *db_config) __attribute__((nonnull));