manifests/vagrant.pp - Issue 11166107: Set up notification server

Keyboard Shortcuts

	File
u :	up to issue
m :	publish + mail comments
M :	edit review message
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line
<Enter> :	respond to / edit current comment
d :	mark current comment as done

	Issue
u :	up to list of issues
m :	publish + mail comments
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue
# :	close issue

	Comment/message editing
<Ctrl> + s or <Ctrl> + Enter :	save comment
<Esc> :	cancel edit

Unified Diff: manifests/vagrant.pp

Issue 11166107: Set up notification server (Closed)

Patch Set: Created July 22, 2013, 10:11 a.m.

Use n/p to move between diff chunks; N/P to move between comments.

Jump to:

Index: manifests/vagrant.pp

===================================================================

--- a/manifests/vagrant.pp

+++ b/manifests/vagrant.pp

@@ -11,26 +11,29 @@ define hostentry (

node default {

$hosts = [

{host => 'localhost', ip => '127.0.0.1'},

{host => $hostname, ip => '127.0.0.1'},

{host => 'monitoring.adblockplus.org', ip => '10.8.0.98'},

{host => 'intraforum.adblockplus.org', ip => '10.8.0.105'},

+ {host => 'downloads.adblockplus.org', ip => '10.8.0.108'},

+ {host => 'notification.adblockplus.org', ip => '10.8.0.112'},

{host => 'server_1.adblockplus.org', ip => '10.8.0.105'},

{host => 'server_3.adblockplus.org', ip => '10.8.0.99'},

{host => 'server_4.adblockplus.org', ip => '10.8.0.98'},

{host => 'server_5.adblockplus.org', ip => '10.8.0.100'},

{host => 'server_6.adblockplus.org', ip => '10.8.0.101'},

{host => 'server_7.adblockplus.org', ip => '10.8.0.102'},

{host => 'server_8.adblockplus.org', ip => '10.8.0.103'},

{host => 'server_9.adblockplus.org', ip => '10.8.0.104'},

{host => 'server_10.adblockplus.org', ip => '10.8.0.105'},

{host => 'server_11.adblockplus.org', ip => '10.8.0.106'},

{host => 'server_12.adblockplus.org', ip => '10.8.0.107'},

{host => 'server_13.adblockplus.org', ip => '10.8.0.108'},

{host => 'server_14.adblockplus.org', ip => '10.8.0.109'},

{host => 'server_15.adblockplus.org', ip => '10.8.0.110'},

+ {host => 'server_17.adblockplus.org', ip => '10.8.0.112'},

]

hostentry { $hosts: }

}