📄 userconffile.java
字号:
package jp.co.sjts.gsession.main;
/*
* 儐乕僓愝掕忣曬僼傽僀儖 UserConfFile.java
* Copyright (C) 1999-2000 Japan Total System Co,LTD
* Satoru K <koni@sjts.co.jp>
*/
import java.io.File;
import java.io.BufferedReader;
import java.io.PrintWriter;
import java.io.IOException;
import java.util.StringTokenizer;
import jp.co.sjts.gsession.tools.*;
public class UserConfFile extends GSTextFile
{
private File file;
private UserConf userConf;
// 僐儞僗僩儔僋僞
public UserConfFile(String userDir)
{
file = new File(userDir,"configure");
File dir = new File(userDir);
if(!dir.exists())
dir.mkdirs();
userConf = new UserConf(300);
}
protected File GetFile()
{
return file;
}
protected void Read(BufferedReader bf) throws GSException
{
String buf=null;
try{
String title="";
String value="0";
for(buf=bf.readLine();buf!=null;buf=bf.readLine())
{
StringTokenizer st = new StringTokenizer(buf,"=");
title = st.nextToken();
if(st.hasMoreTokens())
value = st.nextToken();
if(title.equals("refreshtime"))
userConf.setRefreshTime(Integer.parseInt(value));
}
}catch(IOException e){
throw new GSException("IO僄儔乕",e);
}
}
protected void Write(PrintWriter pw) throws GSException
{
pw.println("refreshtime="+Integer.toString(userConf.getRefreshTime()));
}
public int getRefreshTime()
{
return userConf.getRefreshTime();
}
public void setRefreshTime(int sec)
{
userConf.setRefreshTime(sec);
}
// 僼傽僀儖偑懚嵼偡傞偐
public boolean exists()
{
return file.exists();
}
// 怴偟偔僼傽僀儖傪嶌傞
public void create() throws GSException
{
File dir = file.getParentFile();
if(!dir.exists())
dir.mkdirs();
Save();
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -