データベースで、指定されたエージェント名のエージェントを検索します。
パラメータ | 説明 |
---|---|
name | エージェントの名前。 |
戻り値 | 説明 |
---|---|
NotesAgent | 名前がパラメータと一致するエージェント。 |
var name:string = requestScope.query;
var agent:NotesAgent = database.getAgent(name);
if (agent == null) {
requestScope.status = "No such agent";
} else {
requestScope.status = agent.getName();
requestScope.status += "¥n" + agent.getOwner();
var date = agent.getLastRun();
if (date == null) {
requestScope.status += "¥nNever run";
} else {
requestScope.status += "¥n" + date.getLocalTime();
}
}