Merge branch 'develop' into feature-MAX-60

This commit is contained in:
MassimilianoPinto
2014-05-29 12:12:05 +02:00
9 changed files with 169 additions and 8 deletions

View File

@ -118,6 +118,7 @@ extern void printServer(SERVER *);
extern void printAllServers();
extern void dprintAllServers(DCB *);
extern void dprintServer(DCB *, SERVER *);
extern void dListServers(DCB *);
extern char *server_status(SERVER *);
extern void server_set_status(SERVER *, int);
extern void server_clear_status(SERVER *, int);