src/util/prompt.cc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


#include "util/prompt.h"

namespace ov4
{
    using namespace std;

    bool emit_prompt = true; /* emit prompt (default) */

    void print_prompt()
    {
        if (emit_prompt) 
        {
	        cout << name << " : " << get_current_dir() << " " << prompt << " " << flush;
	    }
    }
}