Skip to content

Commit

Permalink
set archive require
Browse files Browse the repository at this point in the history
  • Loading branch information
madAndroid committed May 19, 2017
1 parent d502927 commit 8607cbd
Showing 1 changed file with 8 additions and 5 deletions.
13 changes: 8 additions & 5 deletions manifests/plugin.pp
Original file line number Diff line number Diff line change
Expand Up @@ -186,14 +186,17 @@
require => File[$::jenkins::plugin_dir],
notify => Service['jenkins'],
}
$archive_require = Archive[$plugin]
} else {
$archive_require = undef
}

file { "${::jenkins::plugin_dir}/${plugin}" :
owner => $::jenkins::user,
group => $::jenkins::group,
mode => '0644',
require => Archive[$plugin],
before => Service['jenkins'],
owner => $::jenkins::user,
group => $::jenkins::group,
mode => '0644',
require => $archive_require,
before => Service['jenkins'],
}

if $manage_config {
Expand Down

0 comments on commit 8607cbd

Please sign in to comment.