# HG changeset patch
# User Michael Haupt <michael.haupt@oracle.com>
# Date 1392891286 -3600
# Node ID b167b1838029a15b3aff97db60656f8d5deae40d
# Parent  a1b71ebfdf5f65b521a249b5b2b9f89cd34b38ef
mx eclipseinit: take care of working sets that were edited by hand

diff -r a1b71ebfdf5f -r b167b1838029 mxtool/mx.py
--- a/mxtool/mx.py	Wed Feb 19 14:50:49 2014 -0800
+++ b/mxtool/mx.py	Thu Feb 20 11:14:46 2014 +0100
@@ -3057,6 +3057,10 @@
         if name == 'item':
             if ps.current_ws is None:
                 target.element(name, attributes)
+            elif not attributes.has_key('elementID') and attributes.has_key('factoryID') and attributes.has_key('path') and attributes.has_key('type'):
+                target.element(name, attributes)
+                p_name = attributes['path'][1:] # strip off the leading '/'
+                ps.seen_projects.append(p_name)
             else:
                 p_name = attributes['elementID'][1:]  # strip off the leading '='
                 _workingset_element(target, p_name)