environment/lib/python2.7/site-packages/IPython/core/history.py
def end_session(self):
        """Close the database session, filling in the end time and line count."""
        self.writeout_cache()
        with self.db:
            self.db.execute("""UPDATE sessions SET end=?, num_cmds=? WHERE
                            session==?""", (datetime.datetime.now(),
                            len(self.input_hist_parsed)-1, self.session_number))
        self.session_number = 0
def end_session(self):
        """Close the database session, filling in the end time and line count."""
        self.writeout_cache()
        with self.db:
            self.db.execute("""UPDATE sessions SET end=?, num_cmds=? WHERE
                            session==?""", (datetime.datetime.now(),
                            len(self.input_hist_parsed)-1, self.session_number))
        self.session_number = 0
def end_session ( self ) : self . writeout_cache ( ) with self . db : self . db . execute ( """UPDATE sessions SET end=?, num_cmds=? WHERE
                            session==?""" , ( datetime . datetime . now ( ) , len ( self . input_hist_parsed ) - 1 , self . session_number ) ) self . session_number = 0
Close the database session, filling in the end time and line count.
Close the database session filling in the end time and line count .