newpath=[]
for _dir in os.environ[variable_name].split(splitsym):
if os.path.exists(_dir):
- if not os.path.samefile(_dir, directory):
- newpath.append(_dir)
+ if sys.platform != "win32":
+ if not os.path.samefile(_dir, directory):
+ newpath.append(_dir)
+ else:
+ newpath.append(_dir)
else:
if os.path.abspath(_dir) != os.path.abspath(directory):
newpath.append(_dir)
}
void
-ConnectionManager_i::disconnect(const Engines::ConnectionManager::connectionId id,
+ConnectionManager_i::disconnect(Engines::ConnectionManager::connectionId id,
Engines::DSC::Message message)
throw (Engines::ConnectionManager::BadId)
{
*
* \see Engines::ConnectionManager::disconnect
*/
- void disconnect(const Engines::ConnectionManager::connectionId id,
+ void disconnect(Engines::ConnectionManager::connectionId id,
Engines::DSC::Message message)
throw (Engines::ConnectionManager::BadId);