dbck.c 39.4 KB
Newer Older
Linus Tolke Y's avatar
Linus Tolke Y committed
1
/*
Per Cederqvist's avatar
Per Cederqvist committed
2
 * $Id: dbck.c,v 0.69 2002/09/10 08:48:48 ceder Exp $
Per Cederqvist's avatar
Per Cederqvist committed
3
 * Copyright (C) 1991-2002  Lysator Academic Computer Association.
Linus Tolke Y's avatar
Linus Tolke Y committed
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
 *
 * This file is part of the LysKOM server.
 * 
 * LysKOM is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by 
 * the Free Software Foundation; either version 1, or (at your option) 
 * any later version.
 * 
 * LysKOM is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with LysKOM; see the file COPYING.  If not, write to
 * Lysator, c/o ISY, Linkoping University, S-581 83 Linkoping, SWEDEN,
 * or the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, 
 * MA 02139, USA.
 *
 * Please mail bug reports to bug-lyskom@lysator.liu.se. 
 */
Per Cederqvist's avatar
Per Cederqvist committed
25 26 27 28 29 30
/*
 * dbck.c - A simple database checker and corrector.
 *
 * Author: Per Cederqvist.
 */

David Byers's avatar
David Byers committed
31 32 33 34 35

#ifdef HAVE_CONFIG_H
#  include <config.h>
#endif

Per Cederqvist's avatar
Per Cederqvist committed
36 37 38
#ifdef HAVE_STDLIB_H
#  include <stdlib.h>
#endif
Per Cederqvist's avatar
Per Cederqvist committed
39
#include <stdio.h>
Per Cederqvist's avatar
Per Cederqvist committed
40 41 42
#ifdef HAVE_STDARG_H
#  include <stdarg.h>
#endif
43 44
#include <time.h>
#include <sys/types.h>
45 46 47 48 49 50
#ifdef HAVE_CRYPT_H
#  include <crypt.h>
#endif
#ifdef HAVE_UNISTD_H
#  include <unistd.h>
#endif
51 52 53
#ifdef HAVE_STRING_H
#  include <string.h>
#endif
54
#include <assert.h>
David Byers's avatar
Server  
David Byers committed
55
#include <setjmp.h>
56

Per Cederqvist's avatar
Per Cederqvist committed
57
#include "getopt.h"
Per Cederqvist's avatar
Per Cederqvist committed
58
#include "misc-types.h"
59
#include "s-string.h"
Per Cederqvist's avatar
Per Cederqvist committed
60
#include "kom-types.h"
Per Cederqvist's avatar
Per Cederqvist committed
61
#include "lyskomd.h"
Per Cederqvist's avatar
Per Cederqvist committed
62 63
#include "log.h"
#include "server/smalloc.h"
Per Cederqvist's avatar
Per Cederqvist committed
64
#include "misc-parser.h"
Per Cederqvist's avatar
Per Cederqvist committed
65
#include "cache.h"
David Byers's avatar
David Byers committed
66
#include "kom-config.h"
Per Cederqvist's avatar
Per Cederqvist committed
67
#include "debug.h"
Per Cederqvist's avatar
Per Cederqvist committed
68
#include "dbck-cache.h"
69 70
#include "param.h"
#include "server-config.h"
David Byers's avatar
Server  
David Byers committed
71 72 73
#include "async.h"
#include "com.h"
#include "connections.h"
74
#include "kom-errno.h"
75
#include "manipulate.h"
Per Cederqvist's avatar
Per Cederqvist committed
76
#include "version-info.h"
77
#include "ram-output.h"
78
#include "unused.h"
79
#include "local-to-global.h"
80
#include "lockdb.h"
Per Cederqvist's avatar
Per Cederqvist committed
81
#include "linkansi.h"
Per Cederqvist's avatar
Per Cederqvist committed
82

83 84 85 86 87 88 89 90

#define OPT_PERS_PRESENTATION_CONF      1
#define OPT_CONF_PRESENTATION_CONF      2
#define OPT_MOTD_CONF                   3
#define OPT_MOTD_OF_KOM                 4
#define OPT_KOM_NEWS_CONF               5


Per Cederqvist's avatar
Per Cederqvist committed
91 92 93 94 95 96 97 98 99 100 101 102
static struct option longopts[] = {
    {"compact-text-mass", 0, 0, 'g' },
    {"interactive", 0, 0, 'i' },
    {"auto-repair", 0, 0, 'r' },
    {"verbose", 0, 0, 'v' },
    {"print-statistics", 0, 0, 's' },
    {"list-text-no", 0, 0, 't' },
    {"set-change-name", 0, 0, 'c' },
    {"clear-password", required_argument, 0, 'P' },
    {"grant-all", required_argument, 0, 'G' },
    {"output-version", required_argument, 0, 'o' },
    {"force-output", 0, 0, 'F' },
103 104 105 106 107 108 109
    {"pers-pres-conf", required_argument, 0, 
     OPT_PERS_PRESENTATION_CONF },
    {"conf-pres-conf", required_argument, 0, 
     OPT_CONF_PRESENTATION_CONF },
    {"motd-conf", required_argument, 0, OPT_MOTD_CONF },
    {"motd-of-kom", required_argument, 0, OPT_MOTD_OF_KOM },
    {"kom-news-conf", required_argument, 0, OPT_KOM_NEWS_CONF },
Per Cederqvist's avatar
Per Cederqvist committed
110 111 112 113 114
    {"help", 0, 0, 'h' },
    { 0, 0, 0, 0 }
};

    
115

116
extern Info kom_info;
Per Cederqvist's avatar
Per Cederqvist committed
117

118 119 120 121
/* This is set to TRUE if init_cache finds out that the last part of the
   database is missing. */
Bool truncated_texts = FALSE;

Per Cederqvist's avatar
Per Cederqvist committed
122
int vflag=0;			/* Verbose - list statistics also. */
Per Cederqvist's avatar
Per Cederqvist committed
123 124 125 126
static int iflag=0;		/* Interactive - prompt user and repair. */
static int rflag=0;		/* Repair simple error without confirmation. */
static int gflag=0;		/* Garbage collect text-file. */
static int sflag=0;		/* Statistic flag. */
Per Cederqvist's avatar
Per Cederqvist committed
127 128
static Pers_no reset_pwd=0;	/* Person whose password should be cleared. */
static Pers_no grant_all=0;	/* Person which should receive all bits. */
129 130 131

/* The following variable holds the output format */

132
long oformat=-1;		/* Output format */
Per Cederqvist's avatar
Per Cederqvist committed
133
static long force_output=0;	/* Force sync (for conversions) */
134

135 136 137 138 139
/* The following variables hold kom_info modifications */

int pers_pres_conf = -1;
int conf_pres_conf = -1;
int motd_conf = -1;
140
Text_no motd_of_lyskom = (Text_no)-1;
141 142 143
int kom_news_conf = -1;


144 145
/* The following variable corresponds to the -c flag, and is
   present here due to a bug in lyskomd 1.6.1. */
Per Cederqvist's avatar
Per Cederqvist committed
146
static int unset_change_name_is_error=0;
147

148 149
/* A list of all available text numbers was useful when developing
   new data structures in lyskomd in 1995.  Option: -t. */
Per Cederqvist's avatar
Per Cederqvist committed
150
static int dump_text_numbers=0;
151

Per Cederqvist's avatar
Per Cederqvist committed
152 153 154 155 156 157 158 159
int modifications = 0;

typedef struct {
    int	created_confs;
} Person_scratchpad;

static const Person_scratchpad   EMPTY_PERSON_SCRATCHPAD = { 0 };

David Byers's avatar
David Byers committed
160
static Person_scratchpad **person_scratchpad = NULL;
Per Cederqvist's avatar
Per Cederqvist committed
161

David Byers's avatar
David Byers committed
162 163
int buglevel = 0;
BUGDECL;
Per Cederqvist's avatar
Per Cederqvist committed
164

165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196

struct delete_list {
    struct delete_list *next;
    Local_text_no lno;
};

static void
delete_list_append(struct delete_list **head,
		   Local_text_no lno)
{
    struct delete_list *item = smalloc(sizeof(struct delete_list));
    item->next = *head;
    item->lno =  lno;
    *head = item;
}

static void
execute_deletions(Local_to_global *l2g,
		  struct delete_list **head)
{
    struct delete_list *item;

    while (*head != NULL)
    {
	item = *head;
	*head = item->next;
	l2g_delete(l2g, item->lno);
	sfree(item);
    }
}


Per Cederqvist's avatar
Per Cederqvist committed
197
#if defined(HAVE_VFPRINTF) && defined(HAVE_STDARG_H)
Per Cederqvist's avatar
Per Cederqvist committed
198
extern void
David Byers's avatar
David Byers committed
199
kom_log (const char * format, ...)
Per Cederqvist's avatar
Per Cederqvist committed
200 201 202 203 204 205 206 207 208
{
    va_list AP;

    va_start(AP, format);

    vfprintf(stdout, format, AP);

    va_end(AP);
}
209 210
#else
extern void
David Byers's avatar
David Byers committed
211
kom_log (format, a, b, c, d, e, f, g)
212 213
     const char * format;
     int a, b, c, d, e, f, g;
214 215 216 217
{
    fprintf(stdout, format, a, b, c, d, e, f, g);
}
#endif
Per Cederqvist's avatar
Per Cederqvist committed
218

Per Cederqvist's avatar
Per Cederqvist committed
219
#if defined(HAVE_VFPRINTF) && defined(HAVE_STDARG_H)
Per Cederqvist's avatar
Per Cederqvist committed
220 221 222 223 224 225 226 227 228 229 230 231
extern void
restart_kom (const char * format, ...)
{
    va_list AP;

    va_start(AP, format);

    vfprintf(stdout, format, AP);

    va_end(AP);
    exit(1);
}
Per Cederqvist's avatar
Per Cederqvist committed
232
#else
233
extern void
234 235 236
restart_kom (format, a, b, c, d, e, f, g)
     const char * format;
     int a, b, c, d, e, f, g;
237 238 239 240 241
{
    fprintf(stdout, format, a, b, c, d, e, f, g);
    exit(1);
}
#endif
Per Cederqvist's avatar
Per Cederqvist committed
242

243

Per Cederqvist's avatar
Per Cederqvist committed
244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265
static Person_scratchpad *
alloc_person_scratchpad(void)
{
    Person_scratchpad *p;

    p = smalloc(sizeof(Person_scratchpad));
    *p = EMPTY_PERSON_SCRATCHPAD;
    return p;
}


static Bool
is_comment_to(Text_no    comment,
	      Text_stat *parent)
{
    int i;

    for ( i = 0; i < parent->no_of_misc; i++ )
    {
	switch( parent->misc_items[ i ].type )
	{
	case comm_in:
266
	    if ( parent->misc_items[ i ].datum.text_link == comment )
Per Cederqvist's avatar
Per Cederqvist committed
267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

static Bool
is_commented_in(Text_no    parent,
		Text_stat *child)
{
    int i;

    for ( i = 0; i < child->no_of_misc; i++ )
    {
	switch( child->misc_items[ i ].type )
	{
	case comm_to:
288
	    if ( child->misc_items[ i ].datum.text_link == parent )
Per Cederqvist's avatar
Per Cederqvist committed
289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}
	
static Bool
is_footnote_to(Text_no    footnote,
	       Text_stat *parent)
{
    int i;

    for ( i = 0; i < parent->no_of_misc; i++ )
    {
	switch( parent->misc_items[ i ].type )
	{
	case footn_in:
310
	    if ( parent->misc_items[ i ].datum.text_link == footnote )
Per Cederqvist's avatar
Per Cederqvist committed
311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

static Bool
is_footnoted_in(Text_no    parent,
		Text_stat *child)
{
    int i;

    for ( i = 0; i < child->no_of_misc; i++ )
    {
	switch( child->misc_items[ i ].type )
	{
	case footn_to:
332
	    if ( child->misc_items[ i ].datum.text_link == parent )
Per Cederqvist's avatar
Per Cederqvist committed
333 334 335 336 337 338 339 340 341 342
		return TRUE;
	    break;
	default:
	    break;
	}
    }

    return FALSE;
}

343
Member *
Per Cederqvist's avatar
Per Cederqvist committed
344 345 346
locate_member(Pers_no      pers_no,
	      Conference * conf_c)
{
347
    Member * mbr;
Per Cederqvist's avatar
Per Cederqvist committed
348 349
    int      i;

350 351
    for(mbr = conf_c->members.members, i = conf_c->members.no_of_members;
	i > 0; i--, mbr++)
Per Cederqvist's avatar
Per Cederqvist committed
352
    {
353
	if ( mbr->member == pers_no )
Per Cederqvist's avatar
Per Cederqvist committed
354
	{
355
	    return mbr;
Per Cederqvist's avatar
Per Cederqvist committed
356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375
	}
    }

    return NULL;
}

/*
 * Delete a misc_info.
 * If it is a recpt, cc_recpt, comm_to or footn_to delete any
 * loc_no, rec_time, sent_by or sent_at that might follow it.
 *
 * Note that the Misc_info is not reallocated.
 */

static void
delete_misc (Text_stat *tstat,
	     Misc_info *misc)	/* Pointer to first misc_item to delete. */
{
    int del = 1;		/* Number of items to delete. */
    				/* Always delete at least one item. */
376
    Bool ready = FALSE;
Per Cederqvist's avatar
Per Cederqvist committed
377 378 379 380 381 382
    
    /* Check range of misc */

    if (misc < tstat->misc_items
	|| misc >= tstat->misc_items + tstat->no_of_misc )
    {
383
	restart_kom("delete_misc() - misc out of range\n");
Per Cederqvist's avatar
Per Cederqvist committed
384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399
    }

    while (ready == FALSE
	   && misc + del < tstat->misc_items + tstat->no_of_misc )
    {
	switch ( misc[ del ].type )
	{
	case loc_no:
	case rec_time:
	case sent_by:
	case sent_at:
	    del++;
	    break;

	case recpt:
	case cc_recpt:
400
        case bcc_recpt:
Per Cederqvist's avatar
Per Cederqvist committed
401 402 403 404 405 406 407 408 409 410
	case footn_to:
	case footn_in:
	case comm_to:
	case comm_in:
	    ready = TRUE;
	    break;

#ifndef COMPILE_CHECKS
	default:
#endif
411 412
	case unknown_info:
	    restart_kom("delete_misc() - illegal misc found.\n");
Per Cederqvist's avatar
Per Cederqvist committed
413 414 415 416 417 418 419 420 421 422 423 424 425 426 427
	}
    }

    tstat->no_of_misc -= del;

    /* Move items beyond the deleted ones. */

    while ( misc < tstat->misc_items + tstat->no_of_misc )
    {
	misc[ 0 ] = misc[ del ];
	misc++;
    }
}

static int
428
confirm(const char *question)
Per Cederqvist's avatar
Per Cederqvist committed
429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450
{
    if ( iflag )
    {
	fputs(question, stdout);
	fputs(" (y/n) ", stdout);
	while(1)
	    switch(getchar())
	    {
	    case 'y':
	    case 'Y':
		return 1;
	    case 'n':
	    case 'N':
	    case EOF:
		return 0;
	    default:
		break;
	    }
    }
    else
	return 0;
}
451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527


static long
check_misc_any_recipient(Text_no tno,
			 Text_stat *tstat,
			 const char *pretty_type,
			 Conf_no rcpt,
			 Local_text_no lno,
			 Misc_info *previous,
			 const Misc_info **misc)
{
    Conference *c;
    long errors = 0;
    Local_text_no conf_min;
    Local_text_no conf_max;

    c = cached_get_conf_stat(rcpt);
    if (c == NULL && rcpt == 0)
    {
	kom_log("Conference 0 is a %s of text %lu.\n",
		pretty_type, (unsigned long)tno);
	if (rflag || confirm("Repair by deleting misc_item? "))
	{
	    delete_misc(tstat, previous);
	    kom_log("Repaired: Conference 0 is no longer a %s.\n",
		    pretty_type);
	    mark_text_as_changed(tno);
	    modifications++;
	    *misc = previous;
	}
	else
	    errors++;

	return errors;
    }

    if (c == NULL)
	return errors;

    /* Check loc_no */
    conf_min = l2g_lookup(&c->texts, 0);
    conf_max = l2g_first_appendable_key(&c->texts);

    if (lno < conf_min)
    {
	kom_log("Text %lu: %s %lu<%lu>: loc_no is less than %lu\n",
		(unsigned long)tno,
		pretty_type,
		(unsigned long)rcpt,
		(unsigned long)lno,
		(unsigned long)conf_min);
	errors++;
    }
    else if (lno >= conf_max)
    {
	kom_log("Text %lu: %s %lu<%lu>: loc_no is greater than %lu\n",
		(unsigned long)tno,
		pretty_type,
		(unsigned long)rcpt,
		(unsigned long)lno,
		(unsigned long)conf_max);
	errors++;
    }
    else if (l2g_lookup(&c->texts, lno) != tno)
    {
	kom_log("Text %lu: %s %lu<%lu>: that local number is mapped to %lu.\n",
		(unsigned long)tno,
		pretty_type,
		(unsigned long)rcpt,
		(unsigned long)lno,
		(unsigned long)l2g_lookup(&c->texts, lno));
	errors++;
    }

    return errors;
}

Per Cederqvist's avatar
Per Cederqvist committed
528 529 530 531 532 533 534 535 536
    
static long
check_misc_infos(Text_no    tno,
		 Text_stat *tstat)
{
    const Misc_info   * misc = tstat->misc_items;
    Misc_info   * previous;
    Misc_info_group group;
    Text_stat *t;
537
    
538
    long errors=0;
Per Cederqvist's avatar
Per Cederqvist committed
539 540 541 542 543 544 545 546 547

    while (previous = (Misc_info *)misc,
	   group = parse_next_misc(&misc,
				   tstat->misc_items + tstat->no_of_misc),
	   group.type != m_end_of_list && group.type != m_error )
    {
	switch ( group.type )
	{
	case m_recpt:
548 549 550
	    check_misc_any_recipient(tno, tstat, "recipient",
				     group.recipient, group.local_no,
				     previous, &misc);
Per Cederqvist's avatar
Per Cederqvist committed
551 552 553
	    break;

	case m_cc_recpt:
554 555 556
	    check_misc_any_recipient(tno, tstat, "cc_recipient",
				     group.cc_recipient, group.local_no,
				     previous, &misc);
Per Cederqvist's avatar
Per Cederqvist committed
557 558
	    break;

559
	case m_bcc_recpt:
560 561 562
	    check_misc_any_recipient(tno, tstat, "bcc_recipient",
				     group.bcc_recipient, group.local_no,
				     previous, &misc);
563 564
	    break;

Per Cederqvist's avatar
Per Cederqvist committed
565 566 567 568 569
	case m_comm_to:
	    t = cached_get_text_stat(group.comment_to);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
570
		kom_log("Text %lu is a comment to %lu, which doesn't exist.\n",
571
		    (unsigned long)tno, (unsigned long)group.comment_to);
Per Cederqvist's avatar
Per Cederqvist committed
572 573 574 575 576 577

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
578
		    kom_log("Repaired: Comment-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
579 580 581
		    misc = previous;
		}
		else
582
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
583
		    
584
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
585 586 587
	    }
	    else if (!is_comment_to(tno, t))
	    {
David Byers's avatar
David Byers committed
588
		kom_log("Text %lu is a comment to %lu, but not the reverse.\n",
589
		    (unsigned long)tno, (unsigned long)group.comment_to);
590
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
591 592 593 594 595 596 597 598 599
	    }

	    break;

	case m_comm_in:
	    t = cached_get_text_stat(group.commented_in);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
600
		kom_log("Text %lu is commented in %lu, which doesn't exist.\n",
601
		    (unsigned long)tno, (unsigned long)group.commented_in);
Per Cederqvist's avatar
Per Cederqvist committed
602 603 604 605 606 607

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
608
		    kom_log("Repaired: Comment-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
609 610 611
		    misc = previous;
		}
		else
612
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
613 614 615
	    }
	    else if (!is_commented_in(tno, t))
	    {
David Byers's avatar
David Byers committed
616
		kom_log("Text %lu is commented in %lu, but not the reverse.\n",
617
		    (unsigned long)tno, (unsigned long)group.commented_in);
618
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
619 620 621 622 623 624 625 626 627
	    }

	    break;

	case m_footn_to:
	    t = cached_get_text_stat(group.footnote_to);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
628
		kom_log("Text %lu is a footnote to %lu, which doesn't exist.\n",
629
		    (unsigned long)tno, (unsigned long)group.footnote_to);
Per Cederqvist's avatar
Per Cederqvist committed
630 631 632 633 634 635

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
636
		    kom_log("Repaired: Footnote-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
637 638 639
		    misc = previous;
		}
		else
640
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
641 642 643
	    }
	    else if (!is_footnote_to(tno, t))
	    {
David Byers's avatar
David Byers committed
644
		kom_log("Text %lu is a footnote to %lu, but not the reverse.\n",
645
		    (unsigned long)tno, (unsigned long)group.footnote_to);
646
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
647 648 649 650 651 652 653 654 655
	    }

	    break;
	    
	case m_footn_in:
	    t = cached_get_text_stat(group.footnoted_in);

	    if ( t == NULL )
	    {
David Byers's avatar
David Byers committed
656
		kom_log("Text %lu is footnoted in %lu, which doesn't exist.\n",
657
		    (unsigned long)tno, (unsigned long)group.footnoted_in);
Per Cederqvist's avatar
Per Cederqvist committed
658 659 660 661 662 663

		if (rflag || confirm("Repair by deleting misc_item? "))
		{
		    delete_misc(tstat, previous);
		    mark_text_as_changed(tno);
		    modifications++;
David Byers's avatar
David Byers committed
664
		    kom_log("Repaired: Footnote-link deleted.\n");
Per Cederqvist's avatar
Per Cederqvist committed
665 666 667
		    misc = previous;
		}
		else
668
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
669 670 671
	    }
	    else if (!is_footnoted_in(tno, t))
	    {
David Byers's avatar
David Byers committed
672
		kom_log("Text %lu is footnoted in %lu, but not the reverse.\n",
673
		    (unsigned long)tno, (unsigned long)group.footnoted_in);
674
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
675 676 677 678 679
	    }

	    break;

	default:
David Byers's avatar
David Byers committed
680
	    kom_log("check_misc_infos(): parse_next_misc returned type %lu\n",
681
		(unsigned long)group.type);
Per Cederqvist's avatar
Per Cederqvist committed
682 683 684 685 686 687
	    break;
	}
    }

    if ( group.type == m_error )
    {
David Byers's avatar
David Byers committed
688
	kom_log("Text %lu has a bad misc_info_list.\n", (unsigned long)tno);
689
	errors++;
Per Cederqvist's avatar
Per Cederqvist committed
690 691
    }

692
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
693 694 695 696 697 698 699 700 701 702 703 704
}

		    
		     
		 
static long
check_texts(void)
{
    Text_no    ct = 0;
    Text_stat *ctp=NULL;
    long	errors = 0;
    Text_no	number_of_texts = 0;
705 706
    unsigned long	bytes=0;
    unsigned long	max_bytes=0;
Per Cederqvist's avatar
Per Cederqvist committed
707 708
    Text_no	max_text=0;

709
    while ( (ct = traverse_text(ct)) != 0 )
Per Cederqvist's avatar
Per Cederqvist committed
710 711 712 713 714 715
    {
	number_of_texts++;
	
	ctp = cached_get_text_stat( ct );
	if ( ctp == NULL )
	{
David Byers's avatar
David Byers committed
716
	    kom_log("Text %lu nonexistent.\n", ct);
Per Cederqvist's avatar
Per Cederqvist committed
717 718 719 720
	    errors++;
	}
	else
	{
721
	    if (dump_text_numbers)
David Byers's avatar
David Byers committed
722
		kom_log("Checking text_no %ld\n", (unsigned long)ct);
723

Per Cederqvist's avatar
Per Cederqvist committed
724
	    bytes += ctp->no_of_chars;
David Byers's avatar
David Byers committed
725
	    if ( (unsigned long)ctp->no_of_chars > max_bytes )
Per Cederqvist's avatar
Per Cederqvist committed
726 727 728 729 730
	    {
		max_bytes = ctp->no_of_chars;
		max_text = ct;
	    }
	    
731
	    /* FIXME (bug 147): no_of_marks is not yet checked. */
Per Cederqvist's avatar
Per Cederqvist committed
732 733 734 735 736 737 738
	    errors += check_misc_infos(ct, ctp);
	}
    }

    if (vflag)
    {
	if ( number_of_texts == 0 )
David Byers's avatar
David Byers committed
739
	    kom_log("WARNING: No texts found.\n");
Per Cederqvist's avatar
Per Cederqvist committed
740 741
	else
	{
David Byers's avatar
David Byers committed
742
	    kom_log("Total of %lu texts (total %lu bytes, avg. %lu bytes/text).\n",
743 744 745
		(unsigned long)number_of_texts,
		(unsigned long)bytes,
		(unsigned long)(bytes/number_of_texts));
David Byers's avatar
David Byers committed
746
	    kom_log("Longest text is %lu (%lu bytes).\n",
747
		(unsigned long)max_text, (unsigned long)max_bytes);
Per Cederqvist's avatar
Per Cederqvist committed
748 749 750 751 752 753 754 755 756
	}
    }
    
    return errors;
}


static int
check_created_texts(Pers_no pno,
757
		    Local_to_global *created)
Per Cederqvist's avatar
Per Cederqvist committed
758 759
{
    Text_stat *t;
760
    int errors=0;
761 762
    L2g_iterator iter;
    struct delete_list *del_list = NULL;
Per Cederqvist's avatar
Per Cederqvist committed
763

764
    for (l2gi_searchall(&iter, created); !iter.search_ended; l2gi_next(&iter))
Per Cederqvist's avatar
Per Cederqvist committed
765
    {
766 767
	assert(iter.tno != 0);
	assert(iter.lno != 0);
Per Cederqvist's avatar
Per Cederqvist committed
768

769 770 771
	t = cached_get_text_stat(iter.tno);
	if ( t != NULL && t->author != pno)
	{
David Byers's avatar
David Byers committed
772
	    kom_log("Person %lu is author of text %lu whose author is %lu.\n",
773 774 775
		(unsigned long)pno, (unsigned long)iter.tno,
		(unsigned long)t->author);
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
776 777
	}

778
	if ( t == NULL )
Per Cederqvist's avatar
Per Cederqvist committed
779
	{
David Byers's avatar
David Byers committed
780
	    kom_log("Person %lu is author of text %lu, which doesn't exist.\n",
781 782 783 784 785 786 787
		(unsigned long)pno, (unsigned long)iter.tno);
	    if ( rflag ||
		 confirm("Repair by setting to text_no to 0 in local map"))
	    {
		delete_list_append(&del_list, iter.lno);
		mark_person_as_changed(pno);
		modifications++;
David Byers's avatar
David Byers committed
788
		kom_log("Repaired: created_texts corrected.\n");
789 790 791
	    }
	    else
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
792
	}
793
	
Per Cederqvist's avatar
Per Cederqvist committed
794
    }
795
    execute_deletions(created, &del_list);
Per Cederqvist's avatar
Per Cederqvist committed
796
    
797
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
798 799 800 801
}

static int
check_membership(Pers_no pno,
David Byers's avatar
David Byers committed
802
		 Membership *mship)
Per Cederqvist's avatar
Per Cederqvist committed
803
{
804
    int errors=0;
Per Cederqvist's avatar
Per Cederqvist committed
805 806 807
    Conference *conf;
    int i;
    Local_text_no last=0;
David Byers's avatar
David Byers committed
808
    Member *mem;
Per Cederqvist's avatar
Per Cederqvist committed
809 810 811 812
    
    conf = cached_get_conf_stat(mship->conf_no);
    if ( conf == NULL )
    {
David Byers's avatar
David Byers committed
813
	kom_log("Person %lu is a member in the non-existing conference %lu.\n",
814
	    (unsigned long)pno, (unsigned long)mship->conf_no);
815
	errors++;
Per Cederqvist's avatar
Per Cederqvist committed
816 817 818 819
    }
    else
    {
	/* Check read texts */
820
	if (mship->last_text_read >= l2g_first_appendable_key(&conf->texts))
Per Cederqvist's avatar
Per Cederqvist committed
821
	{
David Byers's avatar
David Byers committed
822
	    kom_log("Person %lu %s %lu in conf %lu, which only has %lu texts.\n",
823
		(unsigned long)pno,
Per Cederqvist's avatar
Per Cederqvist committed
824
		"has read text",
825 826
		(unsigned long)mship->last_text_read,
		(unsigned long)mship->conf_no,
827
		(unsigned long)(l2g_first_appendable_key(&conf->texts) -1));
828
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
829 830 831 832 833 834
	}

	for ( last = i = 0; i < mship->no_of_read; i++)
	{
	    if ( mship->read_texts[i] <= last )
	    {
David Byers's avatar
David Byers committed
835
		kom_log("Person %lu's membership in %lu %s %lu<%lu> <= %lu.\n",
836
		    (unsigned long)pno, (unsigned long)mship->conf_no,
Per Cederqvist's avatar
Per Cederqvist committed
837
		    "is corrupt: read text number",
Per Cederqvist's avatar
Per Cederqvist committed
838 839
		    (unsigned long)mship->read_texts[i], (unsigned long)i,
		    (unsigned long)last);
840
		errors++;
Per Cederqvist's avatar
Per Cederqvist committed
841 842 843 844 845 846
	    }

	    last = mship->read_texts[i];
	}

	/* Check that he is a member */
David Byers's avatar
David Byers committed
847
	if ( (mem = locate_member(pno, conf)) == NULL )
Per Cederqvist's avatar
Per Cederqvist committed
848
	{
David Byers's avatar
David Byers committed
849
	    kom_log("Person %lu is a member in %lu in which he isn't a member.\n",
850
		(unsigned long)pno, (unsigned long)mship->conf_no);
851
	    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
852
	}
David Byers's avatar
David Byers committed
853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870
        else
        {
            /* Check duplicated information
               Short circuit and in each check sets foo_e
               if an error has been detected
            */

            if (mem->type.invitation != mship->type.invitation ||
                mem->type.passive != mship->type.passive ||
                mem->type.secret != mship->type.secret ||
                mem->type.reserved1 != mship->type.reserved1 ||
                mem->type.reserved2 != mship->type.reserved2 ||
                mem->type.reserved3 != mship->type.reserved3 ||
                mem->type.reserved4 != mship->type.reserved4 ||
                mem->type.reserved5 != mship->type.reserved5 ||
                mem->added_at != mship->added_at ||
                mem->added_by != mship->added_by)
            {
David Byers's avatar
David Byers committed
871
                kom_log("Person %lu membership in %lu does not match member record.\n",
David Byers's avatar
David Byers committed
872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918
                    (unsigned long)pno,
                    (unsigned long)mship->conf_no
                    );

                errors++;

                fputs("Membership:", stdout);
                printf("  type:      %s%s%s%s%s%s%s%s\n",
                       mship->type.invitation ? "invitation " : "",
                       mship->type.passive ? "passive " : "",
                       mship->type.secret ? "secret " : "",
                       mship->type.reserved1 ? "rsv1 "  : "",
                       mship->type.reserved2 ? "rsv2 "  : "",
                       mship->type.reserved3 ? "rsv3 "  : "",
                       mship->type.reserved4 ? "rsv4 "  : "",
                       mship->type.reserved5 ? "rsv5"  : "");
                printf("  added_by: %lu\n", (unsigned long)mship->added_by);
                printf("  added_at: %lu\n", (unsigned long)mship->added_at);
                fputs("Member:", stdout);
                printf("  type:      %s%s%s%s%s%s%s%s\n",
                       mem->type.invitation ? "invitation " : "",
                       mem->type.passive ? "passive " : "",
                       mem->type.secret ? "secret " : "",
                       mem->type.reserved1 ? "rsv1 "  : "",
                       mem->type.reserved2 ? "rsv2 "  : "",
                       mem->type.reserved3 ? "rsv3 "  : "",
                       mem->type.reserved4 ? "rsv4 "  : "",
                       mem->type.reserved5 ? "rsv5"  : "");
                printf("  added_by: %lu\n", (unsigned long)mem->added_by);
                printf("  added_at: %lu\n", (unsigned long)mem->added_at);

                if (confirm("Copy membership to member"))
                {
                    mem->added_at = mship->added_at;
                    mem->added_by = mship->added_by;
                    mem->type = mship->type;
                    modifications++;
                }
                else if (confirm("Copy member to membership"))
                {
                    mship->added_at = mem->added_at;
                    mship->added_by = mem->added_by;
                    mship->type = mem->type;
                    modifications++;
                }
            }
        }
Per Cederqvist's avatar
Per Cederqvist committed
919 920
    }

921
    return errors;
Per Cederqvist's avatar
Per Cederqvist committed
922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942
}

	    

static int
check_membership_list(Pers_no pno,
		      const Membership_list *mlist)
{
    int errors=0;
    int i;
    
    for (i = 0; i < mlist->no_of_confs; i++)
	errors += check_membership(pno, &mlist->confs[i]);

    return errors;
}


static int
check_persons(void)
{
Per Cederqvist's avatar
Per Cederqvist committed
943 944
    static char crypt_seed[] = 
	"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789./";
Per Cederqvist's avatar
Per Cederqvist committed
945 946 947 948 949 950
    Pers_no     cp = 0;
    Person     *pstat=NULL;
    Conference *cstat=NULL;
    long	errors = 0;
    Pers_no	number_of_persons=0;

951
    while ( (cp = traverse_person(cp)) != 0 )
Per Cederqvist's avatar
Per Cederqvist committed
952 953 954 955 956 957 958
    {
	number_of_persons++;
	pstat = cached_get_person_stat (cp);
	cstat = cached_get_conf_stat (cp);
	
	if ( pstat == NULL )
	{
David Byers's avatar
David Byers committed
959
	    kom_log("Person %lu nonexistent.\n", (unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
960 961 962 963
	    errors++;
	}
	else if (cstat == NULL)
	{
David Byers's avatar
David Byers committed
964
	    kom_log("Person %lu has no conference.\n", (unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
965 966 967 968
	    errors++;
	}
	else if (!cstat->type.letter_box)
	{
David Byers's avatar
David Byers committed
969
	    kom_log("Person %lu's conference is not a letter_box.\n",
970
		(unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
971 972 973 974 975 976 977
	    errors++;
	}
	else
	{
	    errors += (check_created_texts(cp, &pstat->created_texts)
		       + check_membership_list(cp, &pstat->conferences));
	}
978 979 980 981

	if (unset_change_name_is_error == 1
	    && pstat->privileges.change_name == 0)
	{
David Byers's avatar
David Byers committed
982
	    kom_log("Person %lu has no change_name capability.\n",
983
		(unsigned long)cp);
Per Cederqvist's avatar
Per Cederqvist committed
984

985 986 987 988 989 990 991 992 993
	    if (rflag || confirm("Grant him the capability"))
	    {
		pstat->privileges.change_name = 1;
		mark_person_as_changed(cp);
		modifications++;
	    }
	    else
		errors++;
	}
Per Cederqvist's avatar
Per Cederqvist committed
994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014
	if (cp == reset_pwd)
	{
	    char salt[3];
	  
	    salt[0] = crypt_seed [rand() % (sizeof (crypt_seed) - 1)];
	    salt[1] = crypt_seed [rand() % (sizeof (crypt_seed) - 1)];
	    salt[2] = '\0';
	  
	    strcpy((char *)pstat->pwd, (const char *)crypt("", salt));
	    mark_person_as_changed(cp);
	    modifications++;
	}

	if (cp == grant_all)
	{
	    pstat->privileges.wheel = 1;
	    pstat->privileges.admin = 1;
	    pstat->privileges.statistic = 1;
	    pstat->privileges.create_pers = 1;
	    pstat->privileges.create_conf = 1;
	    pstat->privileges.change_name = 1;
1015
	    pstat->privileges.flg7 = 1;
Per Cederqvist's avatar
Per Cederqvist committed
1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027
	    pstat->privileges.flg8 = 1;
	    pstat->privileges.flg9 = 1;
	    pstat->privileges.flg10 = 1;
	    pstat->privileges.flg11 = 1;
	    pstat->privileges.flg12 = 1;
	    pstat->privileges.flg13 = 1;
	    pstat->privileges.flg14 = 1;
	    pstat->privileges.flg15 = 1;
	    pstat->privileges.flg16 = 1;
	    mark_person_as_changed(cp);
	    modifications++;
	}
Per Cederqvist's avatar
Per Cederqvist committed
1028 1029 1030
    }

    if (vflag)
David Byers's avatar
David Byers committed
1031
	kom_log("Total of %lu persons.\n", (unsigned long)number_of_persons);
Per Cederqvist's avatar
Per Cederqvist committed
1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047
    
    return errors;
}

static Bool
is_recipient(Conf_no	 conf_no,
	     Text_stat * t_stat)
{
    int i;
    
    for ( i = 0; i < t_stat->no_of_misc; i++ )
    {
	switch( t_stat->misc_items[ i ].type )
	{
	case recpt:
	case cc_recpt:
1048
	case bcc_recpt:
1049
	    if ( t_stat->misc_items[ i ].datum.recipient == conf_no )
1050 1051 1052 1053
	    {
		return TRUE;
	    }
	    break;
1054

Per Cederqvist's avatar
Per Cederqvist committed
1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067
	case rec_time:
	case comm_to:
	case comm_in:
	case footn_to:
	case footn_in:
	case sent_by:
	case sent_at:
	case loc_no:
	    break;
	    
#ifndef COMPILE_CHECKS
	default:
#endif
1068 1069
	case unknown_info:
	    restart_kom("is_recipient(): illegal misc_item\n");
Per Cederqvist's avatar
Per Cederqvist committed
1070 1071 1072 1073 1074 1075 1076 1077
	}
    }

    return FALSE;
}

static int
check_texts_in_conf(Conf_no cc,
1078
		    Local_to_global *tlist)
Per Cederqvist's avatar
Per Cederqvist committed
1079 1080
{
    Text_stat *t;
1081
    int errors=0;
1082 1083 1084 1085
    L2g_iterator iter;
    struct delete_list *del_list = NULL;
    
    for (l2gi_searchall(&iter, tlist); !iter.search_ended; l2gi_next(&iter))
Per Cederqvist's avatar
Per Cederqvist committed
1086
    {
1087 1088 1089 1090
	assert(iter.lno != 0);
	assert(iter.tno != 0);
	t = cached_get_text_stat(iter.tno);
	if (t == NULL)
Per Cederqvist's avatar
Per Cederqvist committed
1091
	{
David Byers's avatar
David Byers committed
1092
	    kom_log("Text %lu<%lu> in conference %lu is non-existent.\n",
1093 1094 1095 1096 1097
		(unsigned long)iter.tno,
		(unsigned long)iter.lno,
		(unsigned long)cc);

	    if (rflag || confirm("Repair by deleting the Text_no in the map?"))
Per Cederqvist's avatar
Per Cederqvist committed
1098
	    {
1099 1100 1101
		delete_list_append(&del_list, iter.lno);
		mark_conference_as_changed(cc);
		modifications++;
David Byers's avatar
David Byers committed
1102
		kom_log("Repaired: %lu is no longer a recipient.\n",
1103
		    (unsigned long)cc);
1104 1105 1106 1107 1108 1109 1110 1111
	    }
	    else
		errors++;
	}
	else
	{
	    if (!is_recipient(cc, t))
	    {
David Byers's avatar
David Byers committed
1112
		kom_log("Text %lu<%lu> in conference %lu %s.\n",
1113 1114 1115 1116
		    (unsigned long)iter.tno,
		    (unsigned long)iter.lno,
		    (unsigned long)cc,
		    "doesn't have the conference as recipient");
Per Cederqvist's avatar
Per Cederqvist committed
1117

1118
		if (confirm("Repair by deleting Text_no from the map?") )
Per Cederqvist's avatar
Per Cederqvist committed
1119
		{
1120
		    delete_list_append(&del_list, iter.lno);
Per Cederqvist's avatar
Per Cederqvist committed
1121 1122
		    mark_conference_as_changed(cc);
		    modifications++;
David Byers's avatar
David Byers committed
1123
		    kom_log("Repaired: %lu is no longer a recipient.\n",
1124
			(unsigned long)cc);
Per Cederqvist's avatar
Per Cederqvist committed
1125 1126
		}
		else
1127
		    errors++;
Per Cederqvist's avatar
Per Cederqvist committed
1128 1129 1130
	    }
	}
    }
1131
    execute_deletions(tlist, &del_list);