mirror of
https://github.com/oliverschmidt/contiki.git
synced 2024-12-23 01:29:33 +00:00
creating user platform configuration on demand
This commit is contained in:
parent
1d0936c965
commit
cd8f45234e
@ -26,7 +26,7 @@
|
|||||||
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
||||||
* SUCH DAMAGE.
|
* SUCH DAMAGE.
|
||||||
*
|
*
|
||||||
* $Id: UserPlatformsDialog.java,v 1.6 2006/09/26 13:08:05 fros4943 Exp $
|
* $Id: UserPlatformsDialog.java,v 1.7 2007/03/23 21:57:24 fros4943 Exp $
|
||||||
*/
|
*/
|
||||||
|
|
||||||
package se.sics.cooja.dialogs;
|
package se.sics.cooja.dialogs;
|
||||||
@ -373,9 +373,29 @@ public class UserPlatformsDialog extends JDialog {
|
|||||||
File userPlatformConfigFile = new File(userPlatform.getPath(),
|
File userPlatformConfigFile = new File(userPlatform.getPath(),
|
||||||
GUI.PLATFORM_CONFIG_FILENAME);
|
GUI.PLATFORM_CONFIG_FILENAME);
|
||||||
if (!userPlatformConfigFile.exists()) {
|
if (!userPlatformConfigFile.exists()) {
|
||||||
logger.fatal("User platform has no configuration file: "
|
|
||||||
+ userPlatformConfigFile);
|
Object[] options = {"Create",
|
||||||
return;
|
"Cancel"};
|
||||||
|
|
||||||
|
int n = JOptionPane.showOptionDialog(
|
||||||
|
this,
|
||||||
|
"No " + GUI.PLATFORM_CONFIG_FILENAME + " file exists in specified directory!"
|
||||||
|
+ "\nCreate an empty " + GUI.PLATFORM_CONFIG_FILENAME + " file?",
|
||||||
|
"Create user platform configuration?",
|
||||||
|
JOptionPane.YES_NO_OPTION,
|
||||||
|
JOptionPane.QUESTION_MESSAGE,
|
||||||
|
null, options, options[1]);
|
||||||
|
|
||||||
|
if (n == JOptionPane.NO_OPTION)
|
||||||
|
return;
|
||||||
|
|
||||||
|
try {
|
||||||
|
userPlatformConfigFile.createNewFile();
|
||||||
|
} catch (IOException e) {
|
||||||
|
logger.fatal("Could not create user platform configuration file: "
|
||||||
|
+ userPlatformConfigFile);
|
||||||
|
return;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
changablePlatformsList.add(userPlatform.getPath(), index);
|
changablePlatformsList.add(userPlatform.getPath(), index);
|
||||||
|
Loading…
Reference in New Issue
Block a user