--extra-module-paths spacing between two paths

[GoogleCodeExporter]

When using a space between two paths, devide doesn't load and doesn't
mention you've got an error in your path. In my opinion it has to notice or
trim the both paths. An example:

./devide --extra-module-paths /home/japetheape/Source/in4307-build/bin,
/home/japetheape/Source/in4307-build/Wrapping/Python

Original issue reported on code.google.com by [email protected] on 9 Mar 2009 at 4:36

[GoogleCodeExporter]

Usually spaces separate parameters, and parameters that have spaces in them 
should be
enclosed by double quotes.

That being said, I'll think about getting DeVIDE to give you some feedback on 
the
directories it DID parse out of the command-line.  That would help to diagnose 
this
kind of error.

Ok?

Original comment by cpbotha on 9 Mar 2009 at 4:43

[GoogleCodeExporter]

Well I first tried it using quotes, and it doesnt matter if you use quotes or 
not.
When using quotes and spaces it still doesn't load the second path. Giving 
feedback
would be better, then the problem can be fixed by knowing what happens. 

Original comment by [email protected] on 9 Mar 2009 at 4:50