exit(code);
}
+void update_specials_menu(void *frontend)
+{
+}
+
void verify_ssh_host_key(void *frontend, char *host, int port, char *keytype,
char *keystr, char *fingerprint)
{
fputs(message, stderr);
}
-void logevent(void *frontend, char *string)
+void logevent(void *frontend, const char *string)
{
log_eventlog(logctx, string);
}