fix: user_agent

This commit is contained in:
BingChunMoLi 2025-08-23 13:14:28 +08:00
parent f2a50d0963
commit 6a89e41934
No known key found for this signature in database
GPG Key ID: E08FCE087CD04CCC
2 changed files with 4 additions and 3 deletions

View File

@ -126,13 +126,14 @@ struct
/* 此时 chsrc_run() 不再是recipe中指定要运行的一个外部命令而是作为一个功能实现的支撑 */ /* 此时 chsrc_run() 不再是recipe中指定要运行的一个外部命令而是作为一个功能实现的支撑 */
bool chsrc_run_faas; bool chsrc_run_faas;
char *user_agent;
} }
ProgStatus = ProgStatus =
{ {
.leader_selected_index = -1, .leader_selected_index = -1,
.chgtype = ChgType_Auto, .chgtype = ChgType_Auto,
.chsrc_run_faas = false, .chsrc_run_faas = false,
.user_agent = user_agent .user_agent = NULL;
}; };
@ -1068,7 +1069,7 @@ chsrc_determine_chgtype (ChgType_t type)
} }
void void
chsrc_custom_user_agent (*char user_agent) chsrc_custom_user_agent (char *user_agent)
{ {
ProgStatus.user_agent = user_agent; ProgStatus.user_agent = user_agent;
} }

View File

@ -105,7 +105,7 @@ pl_java_getsrc (char *option)
void use_custom_user_agent() { void use_custom_user_agent() {
chsrc_custom_user_agent("Maven/3.9.11") chsrc_custom_user_agent("Maven/3.9.11");
} }
/** /**