#ifndef OIDC_AGENT_RESTART_H
#define OIDC_AGENT_RESTART_H

void restart_agent(int argc, char* argv[]);
void restart_agent_with_set_args();
void set_restart_agent_args(int argc, char* argv[]);

#endif  // OIDC_AGENT_RESTART_H
