42 |
import java.io.IOException; |
import java.io.IOException; |
43 |
import java.nio.channels.FileChannel; |
import java.nio.channels.FileChannel; |
44 |
import java.nio.channels.FileLock; |
import java.nio.channels.FileLock; |
45 |
|
import gnu.classpath.Configuration; |
46 |
|
|
47 |
/** |
/** |
48 |
* @author Michael Koch |
* @author Michael Koch |
50 |
*/ |
*/ |
51 |
public class FileLockImpl extends FileLock |
public class FileLockImpl extends FileLock |
52 |
{ |
{ |
53 |
|
static |
54 |
|
{ |
55 |
|
// load the shared library needed for native methods. |
56 |
|
if (Configuration.INIT_LOAD_LIBRARY) |
57 |
|
{ |
58 |
|
System.loadLibrary ("javanio"); |
59 |
|
} |
60 |
|
} |
61 |
|
|
62 |
private FileDescriptor fd; |
private FileDescriptor fd; |
63 |
private boolean released; |
private boolean released; |
64 |
|
|