Number: 2091

Date:  6-Sep-84 17':19':12

Submitter: Masinter

Source: Masinter

Subject: DATABASEFNS wrote wrong FILEDATES when file had extension

Assigned To: Shulman@Rutgers

Attn: Release

Status: Open


Problem Type: Bug

Impact: Moderate

Difficulty: Easy

Frequency: Intermittent

Priority: Perhaps

System: Programming Environment

Subsystem: Masterscope



Lisp Version:  4-Sep-84 19':45':00

Source Files: 

Microcode Version: 5124

Memory Size: 7167

File Server: 

Server Software Version: 

Disposition: [submitted as fixed]'

Description: Return-Path': <SHULMAN@RUTGERS.ARPA>'
Received': from RUTGERS.ARPA by Xerox.ARPA ; 04 SEP 84 16':07':14 PDT'
Date': 4 Sep 84 19':07':07 EDT'
From': Jeffrey Shulman <SHULMAN@RUTGERS.ARPA>'
Subject': DATABASEFNS bug fixed'
To': 1100support.PA,'
	In the function DUMPDB the line that writes out the file dates property should be using (ROOTFILENAME FILE) and not FL.  It seems that MAKEFILE does not update the FILEDATES property of the atom that is just the file *name* without the extension (which is what FL is.)'
	You have no problems if your files are named FOO.;* but if you use files called FOO.BAR;* this bug affects you.  I am surprized that it hasn''t been discovered before.'
P.S. My thanks to Thu Le who finally sent out the sources to me.'


Test Case: