Change rmi server hostname

2 jobs for dev in 2 minutes and 51 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Windows
passed #357308
Windows10
masterJobWindows

00:01:52

 
  Linux
passed #357309
BranchJobLinux

00:00:59