tree 2968927ed0c93ebdc575a4debd1937c7ba7dd255
parent ee3a1fdf4c34907836cd7315d4d91a0c629ebe14
author Christian Pontesegger <christian.pontesegger@web.de> 1619786081 +0200
committer Christian Pontesegger <christian.pontesegger@web.de> 1619786081 +0200

Bug 573277: [headless] parameter -refreshWorkspace is not accepted

  did not check for this parameter in the parser

Change-Id: I773d04462d367d854eed4f74da43cc87ec570ca0