注:本文档适用于在之前安装了Idp4.3.1版本, 过程中安装的是Jetty9.4.2版本的用户,可以按照下面步骤将jetty9升级到jetty10.0.15。
适用ps -ef||grep jetty ,查看本机安装的jetty版本,如果是jetty10,不需要做升级。
使用root账号登录后,按下面过程执行即可。
#下载Jetty10.0.15版本软件 curl -O https://ds.carsi.edu.cn/4.3inst/v1/jetty-home-10.0.15.zip #解压缩文件 unzip jetty-home-10.0.15.zip #将压缩后的文件拷贝到/usr/libexec/jetty10目录下 mv jetty-home-10.0.15 /usr/libexec/jetty10 #修改环境变量JETTY_HOME为/usr/libexec/jetty10,并执行生效 sed -i -e "s/jetty9/jetty10/g" /etc/profile.d/jetty.sh source /etc/profile.d/jetty.sh #下载jetty10的新idp.xml文件,覆盖原来的 curl -k -o /opt/idpdeploy/webapps/idp.xml https://ds.carsi.edu.cn/4.3inst/v1/common/idp-jettynew.xml #将jetty10服务启动程序覆盖9.X版本 cp /usr/libexec/jetty10/bin/jetty.sh /etc/init.d/jetty #修改默认配置文件中JETTY_HOME配置路径 sed -i -e "s/jetty9/jetty10/g" /etc/default/jetty #jetty服务重新启动 systemctl restart jetty #查看jetty进程 ps -ef|grep jetty #删除之前的jetty9目录 rm -rf /usr/libexec/jetty9