Yes, I rebooted the server after downgrading the plugin.
As for reverting a debian installation, a cursory google search shows no go.
So my plan is to download and manually change the jenkins.war to 1.523
version found here
http://mirrors.jenkins-ci.org/war/1.523/
Using find / -name jenkins.war there are two instances on my machine and
they don't match:
$:/usr/share$ md5sum jenkins.war
d88d9e8bb8d2239d7dcafd6a8d8140d4 jenkins.war
$:/usr/share$ md5sum jenkins/jenkins.war
6d82b85069bc55ec8408777ac62242a1 jenkins/jenkins.war
Not sure if it matters since /etc/default/jenkins/ has this line in it:
# location of the jenkins war file
JENKINS_WAR=/usr/share/jenkins/jenkins.war
Wish me luck...
--
You received this message because you are subscribed to the Google Groups
"Jenkins Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
