KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jacorb > naming > namemanager > Updater


1 /*
2  * JacORB - a free Java ORB
3  *
4  * Copyright (C) 1997-2004 Gerald Brose.
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Library General Public
8  * License as published by the Free Software Foundation; either
9  * version 2 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14  * Library General Public License for more details.
15  *
16  * You should have received a copy of the GNU Library General Public
17  * License along with this library; if not, write to the Free
18  * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19  */
20
21 package org.jacorb.naming.namemanager;
22
23 class Updater
24     extends Thread JavaDoc
25 {
26     NSTree tree;
27     long mseconds;
28
29     public Updater(NSTree tr,int seconds)
30     {
31         tree=tr;
32         mseconds=seconds*1000;
33     }
34
35     public void run()
36     {
37         for (;;)
38         {
39             try
40             {
41                 sleep(mseconds);
42             }
43             catch (Exception JavaDoc e)
44             {}
45             tree.update();
46         }
47     }
48     public void setSeconds(int seconds)
49     {
50         mseconds=seconds*1000;
51     }
52 }
53
54
Popular Tags