blob: 138266add03a2c411c7f02e3da3893db2b13b519 [file] [log] [blame]
/*
* Licensed to the Apache Software Foundation (ASF) under one
* or more contributor license agreements. See the NOTICE file
* distributed with this work for additional information
* regarding copyright ownership. The ASF licenses this file
* to you under the Apache License, Version 2.0 (the
* "License"); you may not use this file except in compliance
* with the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
* KIND, either express or implied. See the License for the
* specific language governing permissions and limitations
* under the License.
*/
package org.apache.karaf.shell.console.jline;
import java.io.File;
import java.io.IOException;
import java.io.Reader;
import jline.console.history.FileHistory;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
/**
* Override the FileHistory impl to trap failures due to the
* user does not having write access to the history file.
*/
public final class KarafFileHistory extends FileHistory {
static final Logger LOGGER = LoggerFactory.getLogger(KarafFileHistory.class);
boolean failed = false;
boolean loading = false;
public KarafFileHistory(File file) throws IOException {
super(file);
}
@Override
public void add(CharSequence item) {
if (!loading) {
item = item.toString().replaceAll("\\!", "\\\\!");
}
super.add(item);
}
@Override
public void load(Reader reader) throws IOException {
loading = true;
try {
super.load(reader);
} finally {
loading = false;
}
}
@Override
public void flush() throws IOException {
if( !failed ) {
try {
super.flush();
} catch (IOException e) {
failed = true;
LOGGER.debug("Could not write history file: "+ getFile(), e);
}
}
}
@Override
public void purge() throws IOException {
if( !failed ) {
try {
super.purge();
} catch (IOException e) {
failed = true;
LOGGER.debug("Could not delete history file: "+ getFile(), e);
}
}
}
}