comparison dwt/browser/AppFileLocProvider.d @ 7:e831403a80a9

Add 'cast' to casts
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 14:30:35 +0200
parents 1a8b3cb347e0
children d8635bb48c7c
comparison
equal deleted inserted replaced
6:b903c16b6f48 7:e831403a80a9
181 if (segment.length () > 0) segments.addElement (segment); 181 if (segment.length () > 0) segments.addElement (segment);
182 } while (end !is -1); 182 } while (end !is -1);
183 int segmentsSize = segments.size (); 183 int segmentsSize = segments.size ();
184 pluginDirs = new String [segmentsSize + 2]; 184 pluginDirs = new String [segmentsSize + 2];
185 for (index = 0; index < segmentsSize; index++) { 185 for (index = 0; index < segmentsSize; index++) {
186 pluginDirs[index] = (String)segments.elementAt (index); 186 pluginDirs[index] = cast(String)segments.elementAt (index);
187 } 187 }
188 } 188 }
189 } 189 }
190 if (pluginDirs is null) { 190 if (pluginDirs is null) {
191 pluginDirs = new String[2]; 191 pluginDirs = new String[2];